ALGEBRA AND LOGICS FOR COMPUTER SCIENCE

ALGEBRA AND LOGICS FOR COMPUTER SCIENCE

_
it ｜ en
Code
98388
ACADEMIC YEAR
2020/2021
CREDITS
12 credits during the 1st year of 8759 Computer Science (L-31) GENOVA
LANGUAGE
Italian
TEACHING LOCATION
GENOVA (Computer Science)
modules
This unit is composed by:
Teaching materials
AULAWEB

OVERVIEW

The course presents the basics of the reasoning and language of mathematics, with a focus on some aspects that are strictly connected with applications in computer science.

TEACHERS AND EXAM BOARD

Alessio Caminata
Riccardo Camerlo

Exam Board

RICCARDO CAMERLO (President)

ALESSIO CAMINATA (President Substitute)

EXAMS

Exam description

Written exam.

Assessment methods

The exam consist of a part in Algebra and a part in Logic, both requiring the resolution of four exercises.

Exam schedule

Date Time Location Type Notes
29/06/2021 09:00 GENOVA Scritto
15/07/2021 09:00 GENOVA Scritto
08/09/2021 09:00 GENOVA Scritto
29/06/2021 09:00 GENOVA Scritto
15/07/2021 09:00 GENOVA Scritto
08/09/2021 09:00 GENOVA Scritto