Libri di
Bibliografia di : tutti i libri in vendita online editi da Cedam con argomento Logica Matematica
Prossime uscite di
Libri previsti in uscita su Unilibro.it:
- 9791388310720 Viaggio tra le nuvole. Ediz. a colori
- 9791282635004 Io Paolo di Tarso. Cuore in tempesta
- 9791282555012 Antologia di Matilde Serao
- 9791282499002 Tutta colpa di un testamento
- 9791281862463 La voce che nutre
- 9791281862043 In cammino nella nostra Europa
- 9791281836099 La mia prima volta
- 9791281835320 Body land. Ediz. inglese e giapponese
- 9791281477292 Il dittatore
- 9791281182455 Giulio. Il guardiano del bosco
Logica. Lezioni di primo livello Abrusci Vito Michele - Cedam, 2018 -
Il volume presenta un corso iniziale di logica che è rivolto agli studenti universitari e a tutti coloro che desiderano leggere un'introduzione alla logica, senza particolari prerequisiti. Questo corso di logica è strutturato in lezioni di primo livello su: i principali temi della logica; le proposizioni, le dimostrazioni, i connettivi, i quantificatori, entro la logica classica; i principali teoremi sulla logica (in primo luogo, il teorema di incompletezza di Gödel); la concezione delle classi e degli insiemi, e le operazioni sugli insiemi, in logica classica; i metodi e i risultati della logica che hanno influenzato la nascita dell'informatica (in particolare, la Macchina di Turing); l'assiomatizzazione e la formalizzazione della logica del primo ordine; alcune fra le principali relazioni della logica con le altre discipline.
Logica. Lezioni di primo livello Abrusci Vito Michele - Cedam, 2016
II volume presenta un corso iniziale di logica che è rivolto agli studenti universitari e a tutti coloro che desiderano leggere un'introduzione alla logica, senza particolari prerequisiti. Questo corso di logica - frutto di una lunga esperienza didattica nei corsi di laurea di Filosofia e di Scienze della Comunicazione - è strutturato in lezioni di primo livello su: i principali temi della logica, le proposizioni, le dimostrazioni, i connettivi, i quantificatori, entro la logica classica, i principali teoremi sulla logica (in primo luogo, il teorema di incompletezza di Gödel), la concezione delle classi e degli insiemi, e le operazioni sugli insiemi, in logica classica; i metodi e i risultati della logica che hanno influenzato la nascita dell'informatica (in particolare, la Macchina di Turing), l'assiomatizzazione e la formalizzazione della logica del primo ordine.
Logica. Lezioni di primo livello Abrusci Vito Michele - Cedam, 2012 -
Il volume è una nuova introduzione alla logica, senza prerequisiti, ed è strutturato come un corso di lezioni adatto per il primo livello degli studi universitari. La logica si occupa di ciò che è comune a tutte le branche della nostra attività conoscitive, a tutte le discipline scientifiche. Dopo l'esposizione dei principali temi della logica, nel volume viene illustrata la concezione che la logica classica ha su alcuni di essi, vengono presentati alcuni dei principali teoremi sulla logica (che mostrano come la logica non può chiudersi in se stessa) e vengono trattati concetti e metodi della logica che stanno alla base dell'informatica. Il libro è stato concepito avvalendosi delle idee innovative che sono emerse e stanno emergendo nella ricerca logica (in particolare dopo la nascita della logica lineare) e che riguardano anche la concezione della logica e il modo di insegnarla. In questa seconda edizione, il volume contiene un capitolo finale utile per esercitarsi sui principali contenuti dei capitoli precedenti e verificare la preparazione raggiunta.