Gostaria de saber se é correto afirmar que os conceitos da lógica matemática (que por sinal apoiam-se grandemente na lógica formal) constituem a essência da programação computacional.
Gostaria de saber se é correto afirmar que os conceitos da lógica matemática (que por sinal apoiam-se grandemente na lógica formal) constituem a essência da programação computacional.
Olá Ivanildo, tudo bem? Espero que sim!
Os conceitos de lógica de programação são essenciais para a programação como um todo e como se baseiam nos conceitos de lógica como se/então/e/ou/negação, então podemos dizer que sim.
A lógica de programação é a elaboração de sequências de ações para atingir um determinado objetivo. Envolve o uso de dispositivos lógicos como condicionais if/else e de repetição for/while. Geralmente se baseando se alguma coisa é verdadeira ou falsa para dar prosseguimento às ações.
Bons estudos!