Newsgroup: it.scienza.informatica
Titolo: logica

Salve a tutti
Ultimamente alcune discussioni con amici mi hanno indotto ad interessarmi
alla logica matematica, ma purtroppo non sono molto esperta dell'argomento.
Qualcuno mi saprebbe per favore consigliare un manuale (a livello
universitario) dovo posso studiarla? Possibilmente che tratti anche dei
risultati non classici.
Grazie a chi mi fornirą la sua gentile opinione.
Ciao
---
Norna Lux

 Norna Lux
 Ciao,
io ho studiato Logica Matematica sull' "Asperti-Ciabattoni", ed. Mc-Graw
Hill.
Il titolo del libro è "logica a informatica" e costa 29.000 £
E' molto chiaro nei contenuti e tratta principalmente Logica Proposizionale,
Sistemi Deduttivi, Correttezza e completezza, Logica dei predicati, Calcolo
del primo ordine e  Metodo di risoluzione.
Se studi a L'Aquila ci sono le dispense del prof. Omodeo che da quello che
ho capito è un luminare della materia.
Ciao,
Alessandro

Visto che ti rivolgi ad un newsgroup riguardante l'informatica, ti do il
titolo di un libro che parla di logica con un occhio di riguardo
all'informatica:
V. Sperschneider, G. Antouniou. "Logic. A foundation for Computer Science"
Addison Wesley 1991.
Questo e' il testo del corso di Logica Matematica I che ho frequentato un
paio di anni fa all'Universita' di Udine.
Ugo

 risultati non classici.
Da noi si studia sul Mendelsohn (mi pare si scriva più o meno così):
"introduzione alla logica matematica". Io ho studiato la prima parte ed è ben
scritto, chiaro ed adeguatamente "progressivo". La seconda parte non làho
guardata, ma mi pare proprio che non ci siano logiche non tradizionali. Sulla
logica fuzzy comunque ci sono in giro un sacco di cose, a partire dai libri di
Bart Kosko (anche qui mi pare, comunque non sono certo un esperto
dell'argomento, che non amo neanche particolarmente).

Pape' Satan, pape' Satan aleppe, comincio' Ugo Dal con voce chioccia:
UDL> Questo e' il testo del corso di Logica Matematica I che ho frequentato un
UDL> paio di anni fa all'Universita' di Udine.
wow, ma il buon Parlamento non consigliava sempre e solo le sue
magnifiche dispense? :-)
-- 
ciao,
Claudio

 ... consigliare un manuale (a livello universitario) dovo posso studiarla?
Io ho cominciato a studiarla (ohibo', nell'85) su alcuni appunti di
Complementi di programmazione al Politecnico, poi su un libro della
Boringhieri che usavano in Statale, "E.Bencivenga, Il primo libro di
logica", che appartiene ad una collana di testi sulla logica matematica.
Avevo poi scovato un testo sulla dimostrazione automatica dei teoremi,
del '73 (!), tradotto in italiano come "Chin-Liang Chang, Richard
Char-Tung Lee : Logica Simbolica" (in inglese aggiungeva "and Mechanical
Theorem Proving") ... con frammenti di programma in Lisp !!
Poi ho scoperto la programmazione object-oriented, lo Smalltalk,
l'ingegneria del software (che mi permettono tutt'ora di guadagnarmi la
pagnotta ...).
Se ben mi ricordo dovrebbe esserci un corso di logica matematica alla
Statale (? 
www.dsi.unimi.it
 oppure a Filosofia), con relative
indicazioni dei testi.
Mi ricordo che i teoremi relativi alla teoria dei gruppi erano veramente
eleganti da dimostrare ...
    Davide
---
Ing. Davide Grandi
davide...@mclink.it

Sarebbe meglio che tale Claudio Piciarelli andasse a vedersi il bollettino
alla voce "Testi consigliati" per il corso di Logica Matematica.
Ugo

Pape' Satan, pape' Satan aleppe, comincio' Ugo Dal con voce chioccia:
UDL> Sarebbe meglio che tale Claudio Piciarelli andasse a vedersi il bollettino
UDL> alla voce "Testi consigliati" per il corso di Logica Matematica.
se la metti su questo tono...
Logica Matematica I
[...]
Testi consigliati
Dispense del docente.
(tratto dalla guida ai programmi della facolta' 1999-2000)
-- 
ciao,
Claudio