CODICE 98388 ANNO ACCADEMICO 2024/2025 CFU 12 cfu anno 1 INFORMATICA 8759 (L-31) - 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 FRANCESCO STRAZZANTI Ricevimento: Su appuntamento ALDO CONCA Ricevimento: L'orario di ricevimento sarà concordato con gli studenti dei singoli insegnamenti anche tenendo conto degli impegni dei docenti e degli studenti e verrà reso pubblico attraverso aula web. In ogni caso è sempre possibile concordare un appuntamento via e-mail. ALESSIO CAMINATA Ricevimento: Su appuntamento. RICCARDO CAMERLO Ricevimento: Su appuntamento. Commissione d'esame RICCARDO CAMERLO (Presidente) ALESSIO CAMINATA (Presidente Supplente) FRANCESCO STRAZZANTI (Presidente Supplente) ESAMI MODALITA' D'ESAME Esame scritto. 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.