Cerca
Risultati della ricerca
-
Corsi zero 2020/21
Dipartimento di Matematica e Informatica Corso di Laurea Triennale in Matematica ... immatricolarsi al corso di laurea triennale in Matematica per l’A.A. 2020-21, che il 21 settembre avrà inizio il corso zero di “Matematica” c ostituito da un modulo di “ Logica/Algebra zero ”, un modulo di “ Analisi Zero” e da un modulo ...
-
Theoretical Computer Science
... e stage, il programma guida gli studenti nello studio della logica, dei linguaggi formali e dei principi di computabilità, essenziali per ... particolarmente adatto a studenti con una solida formazione matematica, offrendo un percorso che integra in modo approfondito informatica ...
-
Dipartimento
... di laurea in Informatica e i docenti del Dipartimento di Matematica (1984), assumendo così la denominazione di Dipartimento di ... 01 (Scienze matematiche e informatiche), ovvero MATH-01/A (logica matematica), MATH-02/A (algebra), MATH-02/B (geometria) MATH-01/B ...
-
Seminario - L’occhio della Macchina
... 14/11/2018, Aula 22, ore 15:00 Dipartimento di Matematica e Informatica Titolo L’occhio della Macchina Abstract ... propone uno specifico sguardo sul mondo, allora qual è la logica e la natura dell'occhio contemporaneo? L'occhio della macchina ...
-
Theoretical Computer Science
... INFO-01/A 9 Logica Matematica per l’Informatica INFO-01/A 6 ...
-
Privacy
... generale con il sistema (SERVIZI) Sito del Dipartimento di Matematica e Informatica dell'Università di Catania a partire ... delle finalità e modalità del trattamento, della logica applicata in caso di trattamento effettuato con l'ausilio di strumenti ...
-
Unità di Ricerca INdAM
Il Dipartimento di Matematica e Informatica è sede di un'Unità di Ricerca dell' Istituto ... Clarissa (GNCS): Modelli multi-scala e metodi numerici per domini arbitrari che dipendono dal tempo, con applicazioni alla biologia ... Marianna (GNCS): Studio di frammenti decidibili per la logica delle relazioni e la teoria degli insiemi; costruzione e implementazione ...