Lógica formal

O objetivo da obra é abordar os temas centrais da Lógica Clássica, desde a silogística de Aristóteles até o cálculo dos predicados de primeira ordem. A ênfase será dada na construção de estruturas formalmnte válidas e, na determinação da validade de argumentos. Para tanto será seguido o seguinte pla...

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autor: Soares, Edvaldo
Médium: Online
Jazyk:portugalština
Vydáno: Editora Oficina Universitária 2024
Témata:
On-line přístup:https://directory.doabooks.org/handle/20.500.12854/143121
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!