Tags:
create new tag
view all tags

Metodi Matematici per l’Informatica (Secondo Canale)

Docente ADOLFO PIPERNO

Gruppo Google (ISCRIVETEVI!): https://groups.google.com/a/uniroma1.it/g/met-mat-inf2

Avvisi.

Testi consigliati

Introduzione alla logica ed al linguaggio matematico, di Giorgio T. Bagni, Daniele Gorla, Anna Labella, edito da Mc Graw Hill.

Programma Sintetico del Corso

  • Insiemi; operazioni fra insiemi; chiusura; cardinalità ed equipotenza; insiemi numerabili e non; relazioni (di equivalenza e di ordine); funzioni; il principio di induzione; induzione strutturale.
  • Logica proposizionale; tableau analitici; completezza e compattezza.
  • Logica predicativa; sintassi e semantica.

Modalità di esame

  • Una prova scritta
  • L'esame scritto va prenotato in anticipo iscrivendosi su INFOSTUD.

Dispense

Attachments Attachments
Topic attachments
I Attachment History Action Size Date Who Comment
PDFpdf Errata-1a-edizione.pdf r1 manage 76.3 K 2009-11-10 - 10:59 MassimoLauria Alcune correzioni alla prima edizione del libro di testo.
PDFpdf Risultati.pdf r1 manage 51.9 K 2015-01-16 - 17:06 AdolfoPiperno risultati scritto gennaio 2015
PDFpdf completezza_proposizionale.pdf r1 manage 90.2 K 2011-01-14 - 21:28 LorenzoCarlucci calcoli deduttivi e completezza
PDFpdf esame_metodi_giugno_2012.pdf r1 manage 75.4 K 2012-06-13 - 12:33 AdolfoPiperno Prova scritta del 13 giugno 2012
PDFpdf esami11febbraio14.pdf r3 r2 r1 manage 31.8 K 2014-02-12 - 17:18 AdolfoPiperno  
PDFpdf esami21gennaio14.pdf r1 manage 32.3 K 2014-01-26 - 17:25 AdolfoPiperno  
PDFpdf esercizi_logica_proposizionale.pdf r1 manage 147.7 K 2012-12-28 - 12:25 LorenzoCarlucci Esercizi di Logica Proposizionale (2012-2013)
PDFpdf febbraio_2012_A.pdf r1 manage 27.6 K 2012-02-21 - 09:42 AdolfoPiperno Testo scritto Febbraio 2012 (A)
PDFpdf febbraio_2012_B.pdf r1 manage 29.0 K 2012-02-21 - 09:42 AdolfoPiperno Testo scritto Febbraio 2012 (B)
PDFpdf logicaPZ_1.pdf r1 manage 55.3 K 2008-10-20 - 16:52 MassimoLauria Esercizi svolti in aula il 16/10/2008 (non presenti nel testo)
PDFpdf logicaPZ_2.pdf r1 manage 79.9 K 2008-12-18 - 14:19 MassimoLauria Esercizi svolti in aula il 11/12/2008 (alcuni presenti nel testo)
PDFpdf logicaPZ_3.pdf r1 manage 77.9 K 2009-01-19 - 10:05 MassimoLauria Esercizi svolti in aula il 15/1/2009 (alcuni presenti nel testo)
PDFpdf logica_predicativa_1.pdf r1 manage 161.6 K 2011-12-19 - 18:16 AdolfoPiperno  
PDFpdf logica_predicativa_2.pdf r1 manage 173.3 K 2012-01-18 - 10:34 AdolfoPiperno  
PDFpdf logica_proposizionale.pdf r4 r3 r2 r1 manage 279.6 K 2012-12-07 - 13:33 LorenzoCarlucci appunti di logica proposizionale 2011-12
PDFpdf simul_01_2014.pdf r1 manage 125.0 K 2014-01-13 - 19:40 LorenzoCarlucci Traccia per simulazione d'esame Gennaio 2014
PDFpdf soluzioni_simul_01_2014.pdf r1 manage 130.0 K 2014-01-20 - 10:20 AdolfoPiperno  
Edit | Attach | Watch | Print version | History: r115 < r114 < r113 < r112 < r111 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r115 - 2020-09-24 - AdolfoPiperno
 
Questo sito usa cookies, usandolo ne accettate la presenza. (CookiePolicy)
Torna al Dipartimento di Informatica
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2025 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback