FOUNDATIONS OF COMPUTER SCIENCE
Learning outcomes of the course unit
Provide the basic elements and formal tools for studying problems that can and cannot be dealt with using a computer.
Functions of one variable A, Programming 1.
Course contents summary
Introductory notes on the algorithm concept, on the representation
of information, and on computer architecture.
Finite state automata.
Computable and non-computable functions.
A. Dovier, R. Giacobazzi. Fondamenti dell'Informatica: Linguaggi Formali e Calcolabilita.
A. M. Pitts. Regular Languages and Finite Automata.
I. Mastroeni. Collection of exercises for the ``Fundamentals of Computer Science: Formal Languages and Computability'' course.