ISS8AD FOUNDATION OF COMPUTING

ISS8AD

Foundation of Computing

ECTS Credits : 4

Duration : 42 heures

Semester : S8

Person(s) in charge :

Jean-Yves MARION, Professor, Guillaume BONFANTE, Associate Professor, jean-yves.marion@univ-lorraine.fr,  guillaume.bonfante@mines-nancy.univ-lorraine.fr

Keywords :  automata, grammar, algebraic language, regular language, semantics, logic, computability, compilation, complexity

Prerequisites :This course presents fundamental computing tools, which underpin most of today’s technology. The focus is on formal languages, those used traditionally and with automata, and their application to real problems.

Objective : Fondamental concepts of computer science, compilation

Program and Contents:

The first part of this course (081) deals with the theory of languages, learning about
automata, regular language, the grammar and algebraic languages.
The second part of the course (083) concerns programming languages and concentrates
on semantics.
The course is completed with a study of the limits of what is computable and addresses
certain elements in algorithmic complexity.
Theme 1: Regular languages, automata, transducers
Theme 2: Algebraic languages, grammar
Theme 3: Syntax and semantics
Theme 4: Interpretation and compilation
Theme 5: Computability and undecidability
Theme 6: Complexity

Abilities: 

Levels

Description and operational verbs

Know

Fondamental concepts of computer science such as computer languages, calculability, undecidability, Rice's theorem, semantics, compilation

Understand

The link between languages and automata
The notion of configuration, operational configuration 'small-step', 'big-step' 

Apply

Operational semantic to a compiler

Analyze 

A computer language, its semantics

Summarise

A compiler

Assess

Evaluations :

• Written Test

• Continuous Control

• Oral report

• Project

• Written report