- Teacher: Rafael Engibaryan
- Teacher: Karen Petrosyan
- Enrolled students: No students enrolled in this course yet
- Teacher: Alain Crouzil
- Teacher: Rafael Engibaryan
- Teacher: Olivier GASQUET
- Teacher: Arman.H Grigoryan
- Teacher: Levon Hakhverdyan
- Teacher: Jacques JORDA
- Teacher: Karen Petrosyan
- Teacher: Hasmik Sahakyan
- Teacher: Pascal SAINRAT
- Teacher: Kristina Sargsyan
- Teacher: Amal SAYAH
- Teacher: Robert Tadevosyan
- Teacher: Aram Yesayan
- Enrolled students: 6
S’approprier les bases de la logique sur les plans modélisation, s´sémantique et calcul (´éventuellement automatisé) afin d’être capable de :
- - Décrire comment la logique permet de modéliser des situations réelles
- - Convertir des énoncés informels en langage logique (propositionnel/prédicatif)
- - Appliquer des méthodes (tableaux, équivalences, résolution propositionnelle) aux problèmes de référence (SAT, conséquence logique, formes normales)
- - Appliquer un raisonnement rigoureux `a des problèmes réels (comme l’analyse d’un algorithme) ou `a des puzzles typiques
- - Décrire les forces et limitations des logiques propositionnelle et prédicative
- - Utiliser un solveur pour résoudre des problèmes SAT de taille conséquente
- Teacher: Gagik Ayvazyan
- Teacher: Albert Darbinyan
- Teacher: Mariam.R Gevorgyan
- Teacher: Arman.H Grigoryan
- Teacher: Levon Hakhverdyan
- Teacher: Hasmik Hakobyan
- Teacher: Mariam Harutyunyan
- Teacher: Hovhannes Hovhannisyan
- Teacher: Kristine Martirosyan
- Teacher: ARAM MATEVOSYAN
- Teacher: Irina Poghosyan
- Teacher: Hasmik Sahakyan
- Teacher: Kristina Sargsyan
- Teacher: Aram Yesayan
- Enrolled students: 29
Դասընթացի նպատակն է , որ ուսանողը ծանոթանա խնդրի հաշվելիություն, արհեստական բանականություն և ծրագրային ապահովում գաղափարների հետ:
ՁԵՌՔ ԲԵՐՎԵԼԻՔ ԳԻՏԵԼԻՔՆԵՐ
Անհրաժեշտ «թվային հմտություններ» տեխնիկական
առաջադրանքների իրագործման համար : Ուսանողը ձեռք կբերի անհրաժեշտ հենք` համակարգչային գիտության հետագա առարկաներն ուսումնասիրելու համար :
ՁԵՌՔ ԲԵՐՎԵԼԻՔ ԿԱՐՈՂՈՒԹՅՈՒՆՆԵՐ
Ալգորիթմական տեսանկյունից հասկանալ
խնդիրների բարդության աստիճանը :
- Teacher: Susanna Alikhanyan
- Teacher: Gagik Ayvazyan
- Teacher: Levon Babajanyan
- Teacher: Husik Gevorgyan
- Teacher: Arman.H Grigoryan
- Teacher: Eliza Gyulgyulyan
- Teacher: Levon Hakhverdyan
- Teacher: Avetis Harutyunyan
- Teacher: Hovhannes Hovhannisyan
- Teacher: Gayane Hrachyan
- Teacher: Irina Poghosyan
- Teacher: Hasmik Sahakyan
- Teacher: Kristina Sargsyan
- Teacher: Robert Tadevosyan
- Teacher: Gayane Vardanyan
- Teacher: Nune Varosyan
- Teacher: Aram Yesayan
- Enrolled students: 113