Lógica, Raciocínio e Resolução de Refúgio

Este curso de pensamento crítico explica como aplicar lógica e raciocínio através de refutação de resolução. Começamos introduzindo você a várias linguagens lógicas diferentes e proporcionando uma visão geral do cálculo proproitional. Nós então estabelecemos os símbolos usados em cálculo proposicional e mostramos como converter frases em inglês em cálculo proproitional. Discutimos cálculo do predicado (também chamado de 'lógica de primeira ordem') em detalhes e identifique seus símbolos, semântica e diferenças para o cálculo proposicional.

O curso, então, examina várias técnicas de pensamento crítico, incluindo 'modus ponens', 'modus tollens', eliminação, introdução e instanciação universal. Nós cobrimos o processo de unificação e dedução para ajudá-lo a aplicar a lógica em cenários do mundo real. Nós demonstramos como construir um sistema de raciocínio e combinar dois predicados para implementar um motor inferência. Uma vez que todas as variáveis precisam ser universalmente quantificadas, exploramos as etapas envolvidas no processo de unificação e aquelas tomadas para implementar o princípio de resolução por dedução.

Nossa próxima seção focaliza o teorema provando por refutação de resolução. Nós fornecemos exemplos para ajudá-lo a entender as etapas básicas tomadas para estabelecer teoremas, incluindo formulário de cláusula, estratégias de resolução eficientes e extração de resposta a partir de refutação de resolução. O curso examina a substituição de unificação e a Skolemização para apriorizar suas habilidades de raciocínio crítico prático. Explicamos também como utilizar o Prolog, uma linguagem de programação lógica e uma aplicação de teorema de resolução provando que muitas vezes é usado na computação moderna. Nossa seção final compara várias abordagens de raciocínio. Este curso combina com programadores de computador, pois explica como o pensamento crítico pode ser expresso e aplicado para apriviver suas habilidades em ciência da computação.