Springer Verlag Libri
Libri editi da Springer Verlag con argomento Logica Matematica
-5%
Logica. Vol. 1: Dimostrazioni e modelli al primo ordine
Abrusci Vito Michele
Tortora De Falco Lorenzo
edizioni Springer Verlag collana Unitext , 2014
Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una solida formazione specialistica nella logica. Nei due volumi vengono presentati in maniera innovativa e rigorosa temi di logica tradizionalmente affrontati nei corsi universitari di secondo livello....
Logica. Metodo breve
Mundici Daniele
edizioni Springer Verlag collana Unitext , 2011
In questo manuale viene data una dimostrazione del teorema di completezza di Godel e di alcune sue conseguenze, utilizzando il teorema di completezza di Robinson e il teorema di compattezza di Godel per la logica di Boole. Il lettore incontrerà qui altre idee chiave della logica: una sintassi non ambigua, la risoluzione,...
Logica. Vol. 2: Incompletezza, teoria assiomatica degli insiemi
Abrusci Vito Michele
Tortora De Falco Lorenzo
edizioni Springer Verlag collana Unitext , 2018
Questo secondo volume, presenta le basi della teoria della ricorsività, l'aritmetica di Peano ed i teoremi di incompletezza, gli assiomi della teoria assiomatica degli insiemi di Zermelo-Fraenkel e la teoria degli ordinali e dei cardinali che ne deriva.
Logic. A brief course
Mundici Daniele
edizioni Springer Verlag collana Unitext , 2012
In questo manuale viene data una dimostrazione del teorema di completezza di Godel e di alcune sue conseguenze, utilizzando il teorema di completezza di Robinson e il teorema di compattezza di Godel per la logica di Boole. Il lettore incontrerà qui altre idee chiave della logica: una sintassi non ambigua, la risoluzione,...
Logica. Metodo breve
Mundici Daniele
edizioni Springer Verlag collana Unitext , 2011
In questo manuale viene data una dimostrazione del teorema di completezza di Godel e di alcune sue conseguenze, utilizzando il teorema di completezza di Robinson e il teorema di compattezza di Godel per la logica di Boole. Il lettore incontrerà qui altre idee chiave della logica: una sintassi non ambigua, la risoluzione,...