• Enrolled students: No students enrolled in this course yet
  • Enrolled students: No students enrolled in this course yet

OBJECTIFS   D’APPRENTISSAGE

S’approprier les bases de la logique sur les plans mod´elisation, s´emantique et calcul (´eventuellement automatis´e) afin d’ˆetre capable de :

-   D´ecrire comment la logique permet de mod´eliser des situations r´eelles

-   Convertir des ´enonc´es informels en langage logique (propositionnel/pr´edicatif)

-   Appliquer des m´ethodes (tableaux, ´equivalences, r´esolution propositionnelle) aux probl`emes de r´ef´erence (SAT, cons´equence logique, formes normales)

Appliquer un raisonnement rigoureux `a des probl`emes r´eels (comme l’analyse d’un algorithme) ou `a des puzzles typiques

-   D´ecrire les forces et limitations des logiques propositionnelle et pr´edicative

-   Utiliser un solveur pour r´esoudre des probl`emes SAT de taille cons´equente

Դասընթացի նպատակն է , որ ուսանողը ծանոթանա խնդրի հաշվելիություն, արհեստական բանականություն և ծրագրային ապահովում գաղափարների հետ:

ՁԵՌՔ ԲԵՐՎԵԼԻՔ ԳԻՏԵԼԻՔՆԵՐ

Անհրաժեշտ «թվային հմտություններ»  տեխնիկական առաջադրանքների իրագործման համար : Ուսանողը ձեռք կբերի  անհրաժեշտ հենք` համակարգչային գիտության  հետագա առարկաներն ուսումնասիրելու համար :

ՁԵՌՔ ԲԵՐՎԵԼԻՔ ԿԱՐՈՂՈՒԹՅՈՒՆՆԵՐ

Ալգորիթմական տեսանկյունից  հասկանալ խնդիրների բարդության աստիճանը :