Informazioni in aggiornamento fino al 30/06/2026 CODICE 98388 ANNO ACCADEMICO 2026/2027 CFU 12 cfu anno 1 INFORMATICA 11896 (L-31 R) - GENOVA SEDE GENOVA MODULI Questo insegnamento è composto da: ALGEBRA LOGICA MATERIALE DIDATTICO AULAWEB PRESENTAZIONE L'insegnamento di Algebra e Logica per informatica presenta gli elementi di base del ragionamento e del linguaggio matematico, e approfondisce in particolare alcuni aspetti fortemente legati alle applicazioni informatiche. OBIETTIVI E CONTENUTI OBIETTIVI FORMATIVI L’insegnamento si propone di fornire agli studenti le nozioni di base dei concetti e degli strumenti fondamentali della matematica, nonché la capacità di formalizzare in modo matematicamente corretto problemi mediante i linguaggi dell’algebra e della logica. PREREQUISITI Conoscenza del calcolo letterale a livello scolastico e dei concetti base della trigonometria. DOCENTI E COMMISSIONI EMANUELA DE NEGRI Ricevimento: Ricevimento su appuntamento da richiedere via mail alla docente. RICCARDO CAMERLO Ricevimento: L'orario di ricevimento sarà concordato con gli studenti. ESAMI MODALITA' D'ESAME Esame scritto. Indicazioni per studenti con certificazione di DSA, di disabilità o di altri bisogni educativi speciali sono disponibili a partire da https://corsi.unige.it/corsi/11896/studenti-disabilita-dsa MODALITA' DI ACCERTAMENTO L'esame consiste di una prova di Algebra e una di Logica, in ognuna delle quali è richiesta la risoluzione di alcuni esercizi.