I materiali pubblicati sul sito costituiscono rielaborazioni personali del Publisher di informazioni apprese con la frequenza delle lezioni e lo studio autonomo di eventuali testi di riferimento in preparazione all’esame finale o della tesi. Non devono intendersi come materiale ufficiale dell’università attribuibile al docente del corso.
…continua

Filtra per

Tutte le tipologie

Ordina

Filtra

Appunti degli studenti per corsi ed esami del Prof. Corradini Andrea

Appunti presi da slide, lezioni e domande richieste appositamente al professore; gli argomenti contenuti sono: • Insiemi • Connettivi logici • I quantificatori • Relazioni • Induzione matematica • Relazioni su un insieme • Grafi • Calcolo combinatorio • Induzione strutturale • Linguaggi formali • Logica
...continua
Preparazione per l'esame di Fondamenti di informatica, basato sui contenuti trattati durante il corso e dal libro consigliato e realizzato dai professori del dipartimento ( Filippo Bonchi, Alessio Conte, Andrea Corradini, Roberto Grossi) Nello specifico gli argomenti trattati sono i seguenti: Insiemi - Relazioni - Induzione - Grafi e Alberi- Combinatoria - Linguaggi - Grammatica - Logica. In aggiunta viene fornito uno cheat-sheet contenente tutte le principali formule, utili per esercizi e come ripasso veloce. Università degli Studi di Pisa - Unipi, facoltà di Scienze matematiche fisiche e naturali. Scarica il file in PDF!
...continua
Riassunto schematico dei principali argomenti affrontati durante il corso di Logica Per La Programmazione all'Università di Pisa e basato su appunti personali del publisher presi alle lezioni del professore Corradini dell’università degli studi di Pisa - Unipi. Scarica il file in formato PDF!
...continua