UE INFO S3 : Outils formels de l'informatique

ECUE's code : SPUF32

Belong to 0 UE

Structure

PORTAIL SCIENCES ET TECHNOLOGIES

Disciplinary domain

Informatique , Mathématiques

Campus

Campus Valrose

Course's level

Licence 2

Semester

Semestre impair

Language

Français

PRESENTATION

Le cours est une introduction aux mathématiques discrètes nécessaires pour comprendre les concepts fondamentaux de l'informatique. On partira des notions de base d'ensemble, relation et fonction pour introduire et justifier l'induction structurelle. Nous verrons aussi plusieurs méthodes pour resoudre les équations de récurrence. Une introduction au calcul des propositions et des prédicats conclura le cours.

Course's manager(s)

Enrico Formenti

In class

18h of lectures
36h of directed studies
54h of Travail en autonomie (à la maison)

PREREQUISITES

Before the start of the course, I must ...

Avoir des connaissances des bases des mathématiques et de l'informatiques comme celles données au L1
Avoir consulté la checklist qui se trouve ici : https://lms.univ-cotedazur.fr/mod/checklist/view.php?id=270403.

OBJECTIVES

By the end of this course, I should be able to...

comprendre la notion de modèle et de sémantique dans la logique du premier ordre
comprendre les liens entre récurrence et complexité des algorithmes
transposer une phrase énoncée en langage naturel vers la logique du premier ordre
comprendre la notion de conséquence logique et ses implications
résoudre des équations de récurrence linéaires et certaines classes de non-linéaires
faire un raisonnement qui implique l'induction simple ou structurelle
faire une démonstration élémentaire

CONTENT

Chapitre 0

Présentation du cours, ses objectifs, matériel suggéré.
Chapitre 1

Ensembles, dénombrabilité, mots.
Chapitre 2

Relations, fonctions et ordres
Chapitre 3

Induction
Chapitre 4

Dénombrement
Chapitre 5

Récurrence
Partiel

Contrôle intermédiaire qui compte pour 50% de la note finale.
Chapitre 6

Récurrence et séries formelles.
Chapitre 7

Logique des propositions
Chapitre 8

Logique des prédicats
Chapitre 9

Automates finis et expressions régulières.

Access to complete Syllabus (Authentification required)

Important

This syllabus has no contractual value. Its content is subject to change throughout this year: be aware to the last updates