9. Lógica Computacional: Tableaux Semântico
Автор: Professor Pantoja
Загружено: 2020-12-02
Просмотров: 4785
Nesse vídeo apresentaremos um outro método chamado Tableaux Semântico ou Semantic Tableaux para determinar se uma fórmula é Satisfatível, Insatisfatível ou Válida, mas eficiente que a Tabela Verdade.
A disciplina de Lógica Computacional é uma das disciplinas básicas dos cursos e computação, sistemas e informação e afins em seus diversos níveis possíveis (técnico, graduação e pós-graduação).
Essa disciplina é introdutória para lógica computacional e cobre as definições de argumentos dedutivos e indutivos, axiomas ou postulados, os postulados clássicos, os conectores lógicos, tabela verdade, tableaux semântico. Em seguida, entramos em tautologia e satisfatibilidade para seguir para as regras de inferências, procedimento de refutação, Conjunctive Normal Form (CNF) e forma clausal.
Diversos materiais para auxílio no estudo para a disciplina e para concursos poderão ser encontrados em minha página.
Enjoy it!
By @prof.pantoja
https://turing.pro.br/kadupantoja/
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
