Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword or section
Like this
11Activity

Table Of Contents

0 of .
Results for:
No results containing your search query
P. 1
(eBook - ITA - MATH) Logica a Per Informatici (235pg) (PDF)

(eBook - ITA - MATH) Logica a Per Informatici (235pg) (PDF)

Ratings: (0)|Views: 19,493|Likes:
Published by windhelix

More info:

Categories:Types, Research, Science
Published by: windhelix on May 11, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

07/29/2013

pdf

text

original

 
Logica MatematicaCorso A
Corso di Laurea in Informatica
Anno 2002-03
 
Indice
Indice i1 Introduzione 12 Dal linguaggio naturale alla logica 32
.
1 Esercizi 73 Logica proposizionale 103
.
1 Connettivi 103
.
2 Sintassi 103
.
2
.
1 Il linguaggio proposizionale 113
.
2
.
2 Analisi sintattica 133
.
2
.
3 Esercizi 203
.
3 Semantica 223
.
3
.
1 Tavole di verit`a 233
.
3
.
2 Esercizi 263
.
3
.
3 Validit`a e conseguenza 263
.
3
.
4 Esercizi 313
.
4 Sull
implicazione 334 Insiemi e algebre di Boole 364
.
1 Variabili 364
.
2 Algebra degli insiemi 374
.
3 Algebre di Boole 474
.
3
.
1 Esercizi 494
.
4 Algebra delle proposizioni 504
.
5 Rapporti tra proposizioni e insiemi 56i
 
5 Relazioni 605
.
1 Prodotto cartesiano 605
.
2 Relazioni 615
.
2
.
1 Esercizi 645
.
3 Relazioni d
ordine 655
.
4 Relazioni di equivalenza 695
.
5 Funzioni 716 Forme normali 756
.
1 Definibilit`a dei connettivi 756
.
1
.
1 Esercizi 776
.
2 Forme normali disgiuntive 776
.
3 Forme normali congiuntive 796
.
4 Esercizi 837 Dimostrazioni 867
.
1 Dimostrazioni dirette 867
.
2 Distinzione di casi 907
.
3 Sillogismo disgiuntivo 937
.
4 Contrapposizione e
Modus tollens
957
.
5 Dimostrazioni per assurdo 967
.
6 Dimostrazioni in avanti e all
indietro 1028 Alberi di refutazione 1048
.
1 Il metodo 1048
.
2 Correttezza e completezza 1108
.
3 Forme normali 1148
.
4 Esercizi 1159 Variabili e quanticatori 11710 Linguaggi predicativi 12210
.
1 Alfabeto 12210
.
2 Termini e formule 12310
.
3 Variabili libere e vincolate 13110
.
4 Interpretazioni 13410
.
5 Sui quanticatori ristretti 13710
.
6 Esercizi 138ii

Activity (11)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
mimmoneasdasd liked this
Kikko Lele B liked this
leedown liked this
logicalunit liked this
alfatau liked this

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->