A lógica da programação é um assunto muito grande e complexo usado quando se pretende realizar alguma função ou um esquema lógico por meio de parâmetros e metas. Existe uma associação direta da Lógica de Programação com Raciocínio Matemático, onde importante é a interpretação de um problema e a utilização correta de uma fórmula. Sobre a lógica matemática para a programação, assinale a alternativa CORRETA correspondente ao nome da primeira pessoa que propôs usar programas para manipular com sentenças instrumentais comuns apropriadas à linguagem formal, ou seja, programa básico formará conclusões imediatas a partir de uma lista de premissas:

A Grace Hopper.
John McCarthy.
Edsger Dijkstra.
Dennis Ritchie.