Logica

Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi.

Fundamentos y Lógica de Programación con 7 Lenguajes: PSeInt, Python, Java, JavaScript, C, C++ y C#, todo en este curso!

Impara la logica booleana per capire meglio il mondo dell' informatica e come ragionano i computer

Questo volume si rivolge a chi non sa nulla di logica proponendosi di condurlo a padroneggiare la morfologia, la sintassi e la semantica della logica elementare. Introduce inoltre alcuni dei nodi logico-filosofici più interessanti del pensiero contemporaneo: la contraddizione scoperta da Bertrand Russell nella cosiddetta teoria "ingenua" degli insiemi; la concezione del significato su cui si fonda il Tractatus logico-philosophicus di Wittgenstein; la teoria della verità di Tarski, e il problema del "paradosso del mentitore"; i famosi teoremi di incompletezza di Gödel

Nietzsche, Heidegger e i loro interpreti non si stancano di ripetere che il nichilismo è "la logica dell’Occidente". È possibile una valutazione spregiudicata di questa tesi, esaminando che cosa significhi realmente la problematica del nichilismo dal punto di vista della logica moderna? L’idea di fondo del libro è che proprio nell’incontro con la logica il nichilismo possa rivelare le sue migliori ragioni.