CODICE 98388 ANNO ACCADEMICO 2025/2026 CFU 12 cfu anno 1 INFORMATICA 11896 (L-31 R) - GENOVA LINGUA Italiano SEDE GENOVA MODULI Questo insegnamento è composto da: ALGEBRA A ALGEBRA B LOGICA A LOGICA B 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 Acquisire familiarità con i concetti e gli strumenti di base della matematica. Acquisire la capacità di formalizzare in modo matematicamente corretto problemi utilizzando i linguaggi dell'algebra e della logica. PREREQUISITI Conoscenza del calcolo letterale a livello scolastico e dei concetti base della trigonometria. DOCENTI E COMMISSIONI ALDO CONCA Ricevimento: Su appuntamento da concordare con il docente ULDERICO FUGACCI EMANUELA DE NEGRI Ricevimento: L'oraraio di ricevimento sarà scritto su Aulaweb. RICCARDO CAMERLO Ricevimento: L'orario di ricevimento sarà concordato con gli studenti. JACOPO EMMENEGGER Ricevimento: Su appuntamento, al termine delle lezioni o per email. GIUSEPPE ROSOLINI Ricevimento: su appuntamento Commissione d'esame ALDO CONCA (Presidente) RICCARDO CAMERLO EMANUELA DE NEGRI (Presidente Supplente) JACOPO EMMENEGGER (Supplente) ULDERICO FUGACCI (Supplente) GIUSEPPE ROSOLINI (Supplente) 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.