Home
Home
Connect

McGraw-Hill Education (Italy) srl

ITALIA Indian Flag
Strumenti Tools Print Larger font Smaller font Bookmark this page
 
Share/Bookmark

DISCIPLINE
Economia ed Economia aziendale
Informatica
Ingegneria e architettura
Medicina
Scienze infermieristiche e professioni sanitarie
Scienze matematiche, fisiche, chimiche e biologiche
Scienze umane e sociali
Monografie
Pubblicazioni dalle aziende
Logica a informatica

Di: Andrea Asperti, Agata Ciabattoni

Formato digitale

Logica a informatica


ISBN: 9788838672002,
Prezzo: € 25,00
Pubblicazione: gennaio 1997
Pagine: 204
Metti nel carrello




Mi piace questo libro

Indice dettagliato (formato PDF)
Presentazione/prefazione (formato PDF)
Visualizza titoli simili:
Categoria: Informatica
Collana: Istruzione scientifica Categoria: Scienze umane e sociali
Disciplina: Filosofia
Collana: Istruzione scientifica

Descrizione | IndiceGli autori |

DESCRIZIONE

Il titolo di questo libro richiede una spiegazione: non si vuole soltanto sottolineare la destinazione del testo (i corsi di Logica matematica nelle facoltà di Informatica), ma soprattutto metterne in evidenza la particolare impostazione, che lo distingue dai numerosi manuali di logica matematica disponibili sul mercato italiano.
Il volume, infatti, affronta l’insegnamento della logica tenendo sempre presenti gli strettissimi rapporti di questa disciplina con l'informatica; pur presentando argomenti tradizionali della logica matematica classica, il testo è arricchito da costanti riferimenti ai principali temi di contatto tra logica e informatica.

INDICE

1) Logica proposizionale
2) Sistemi Deduttivi
3) Correttezza e Completezza
4) Logica dei predicati
5) Il Calcolo del Primo Ordine
6) Metodo di Risoluzione

GLI AUTORI

Andrea Asperti, Agata Ciabattoni

Andrea Asperti è Professore ordinario presso il Dipartimento di Scienze dell’informazione dell’Università di Bologna, dove tiene il corso di Logica matematica.
Agata Ciabattoni è ricercatrice presso il Politecnico di Vienna, dove tiene il corso di Logica matematica (Mathematische Logik I).

Top

Chi siamo | Condizioni di utilizzo | Informativa sulla privacy | Normativa sul diritto d’autore| Modello di organizzazione, gestione e controllo | Contattaci | Assistenza | Come ordinare | Mappa del sito

Copyright © 2002 -2017 McGraw-Hill Education (Italy) srl
Via Ripamonti 89, 20139 Milano, Italia - Telefono +39 02/5357181 - Fax +39 02/5397633
Cap. Soc. Euro 10.000 Int. vers. | Codice Fiscale e P. IVA 07805780967 - Iscritta presso la C.C.I.A.A. di Milano numero di iscrizione 07805780967 | R.E.A. 1982936