Open Logic Text: il manuale free di logica matematica

openlogic-wm-314x124

Open Logic Text  è il manuale free di logica matematica che si rivolge ai non matematici, in particolare a chi segue corsi di logica avanzata nelle facoltà di Filosofia. Il testo è open-source (si può scaricare il codice LaTeX) ed è open, quindi modificabile e condivisibile. Si può inoltre collaborare a correggerlo e a implementarlo utilizzando la piattaforma GitHub.

” It covers the syntax and semantics of first-order logic, sequent calculus, soundness and completeness theorems, rudiments of model theory, computability theory, and incompleteness.  The project remains under continuous development, and we plan to improve and add to the coverage.  Additional topics which we have short-term plans to cover are computability via Turing machines, additional coverage of topics in model theory, modal logic, as well as material on applications of logic in philosophy, such as on paradoxes, metaphysics, philosophy of language, and philosophy of mathematics. Some of the material is written specifically for this project, while other material is converted from existing lecture notes. We also plan to add new features throughout, such as a glossary and index, historical notes, and sections covering further reading”

2 commenti

Archiviato in Logica, Manuali

2 risposte a “Open Logic Text: il manuale free di logica matematica

  1. wittgenstein

    Vorrei per cortesia sapere come ci si può abbonare, quanto costa e se esiste una pubblicazione in forma cartacea? Grazie

Lascia un commento

Inserisci i tuoi dati qui sotto o clicca su un'icona per effettuare l'accesso:

Logo WordPress.com

Stai commentando usando il tuo account WordPress.com. Chiudi sessione / Modifica )

Foto Twitter

Stai commentando usando il tuo account Twitter. Chiudi sessione / Modifica )

Foto di Facebook

Stai commentando usando il tuo account Facebook. Chiudi sessione / Modifica )

Google+ photo

Stai commentando usando il tuo account Google+. Chiudi sessione / Modifica )

Connessione a %s...