Skip to content

Logică Computațională

Public syllabus for 2025-2026

Back to syllabi

Academic overview

Programme
IR
Period
Year 1, Semester 1
Credits
5
Weeks
14

Curriculum placement

Appears in study plans

IR (2025 - 2028) Year 1, Semester 1 Mandatory subject

Teaching team

Course coordinator
(none)
Seminar coordinators
(none)

Learning time distribution

Total
Curriculum Lecture Practice Total Weekly Lecture Practice
56 28 28 4 2 2
Exam hours
6
Individual Study Bibliography study Field study Homework Tutoring Others
69 28 15 14 6 0
Overall
125

Learning outcomes

Knowledge

  • Descrierea sintaxei și semanticii logicii propozițiilor, logicii predicatelor. Descrierea rezolvării problemelor bazate pe aspectul semantic și a dificultăților reprezentate de acest aspect. Descrierea sistemelor de raționament în logica propozițională și logica predicatelor.

Skills

  • Aplicarea și implementarea raționamentului în logica propozițiilor (metode bazate pe rezoluție). Demonstrarea folosind sistemele de raționament pentru logica predicatelor, egalitate, inducție.

Responsibility

  • Analiza unei probleme, identificarea unui limbaj ce poate exprima problema și cunoștințele relevante, identificarea unui sistem de raționament și rezolvarea problemei folosind acest sistem.

Online platform

(none)

Course content

(none)

Course bibliography

(none)

Seminar content

(none)

Seminar bibliography

(none)

Corroboration

Rezolvarea de probleme bazată pe raționament este o abilitate esențială în orice activitate din domeniul informatic (educație, cercetare, industrie). Conţinutul este în concordanţă cu structura cursurilor similare de la universităţi din țară sau străinătate şi acoperă aspectele fundamentale necesare familiarizării cu raționamentele logice.

AI tools guidance

(none)

Evaluation and delivery

Activity Criteria Methods Percentage
C
  • Evaluarea are în vedere următoarele categorii de cunoștințe: 
  • cunoștințe generale, evaluate printr-un test cuprinzând întrebări cu variante multiple de răspuns sau definiții de bază (săptămâna 8-9)
  • cunoștințe de detaliu, evaluate printr-un test cuprinzând întrebări orientate spre noțiunile cheie predate (evaluare în săptămâna 8-9)
  • Utilizarea cunoștințelor, evaluate printr-un test cuprinzând un set de probleme pe baza noțiunilor prezentate la curs. (sesiunile de examene)
  • Evaluare pe parcurs
  • din săpt. 8-9 (tentativă)
  • Examen scris
  • 20.0%
  • 50.0%
S
  • Evaluarea are în vedere următoarele categorii de cunoștințe:
  • cunoștințe generale: aplicare de definiții din logica propozițiilor și a predicatelor, pe exemple simple (evaluări săptămânale)
  • cunoștințe de detaliu: aplicarea metodelor și algoritmilor studiați, pe exemple simple (evaluări săptămânale)
  • cunoștințe avansate: rezolvarea de probleme complexe, care implică utilizarea mai multor concepte ((evaluări săptămânale)
  • Evaluare săptămânală
  • Participarea activă la activitățile de seminar
  • OPȚIONAL: implementarea și prezentarea la seminar a soluțiilor pentru metodele discutate
  • 20.0%
  • 10.0%
  • 20.0%
  • 5.0%

Performance standards

Examinare scrisă:  Nu există limită de punctaj pentru examinarea intermediară (săptămânile 8-9). Pentru nota 5 este necesară obținerea unui punctaj cumulat superior pentru cunoștințele generale, precum și dovedirea unui nivel minim de înțelegere și aplicare a unora dintre noțiunile prezentate la curs (minim 50%) Pentru nota 10 este necesară obținerea unui punctaj superior (minim 85%) pentru cunoștințele generale și cunoștințele de detaliu, precum și o foarte bună înțelegere a noțiunilor prezentate. Probe practice și activitate de seminar: Pentru nota 5 este necesară obținerea unui punctaj cumulat superior pentru cunoștințele generale, și a cunoștințelor de detaliu prezentate anterior. Pentru nota 10 este necesară dovedirea unui nivel superior (minim 85%) pentru cunoștințele avansate, precizate anterior, participare activă la activitățile de seminar. Numărul minim de prezențe este conform regulamentelor în vigoare. Neîndeplinirea numărului minim de prezențe și a obținerii notei 5 la activitățile de seminar atrage după sine recontractarea disciplinei. Nota finală se calculează ca medie ponderată a notelor acordate pentru cele două componente specificate la 9.4 și 9.5. Examenul se consideră promovat dacă este obținută o medie de cel puțin 50% din rezultatul maxim. Dacă pentru oricare dintre componente a fost obținută nota minimă (5), se poate folosi ulterior în caz de nepromovare. Participarea la sesiunile de examene este permisă conform regulamentelor în vigoare. Examinarea intermediară din săptămânile 8-9 și verificările de la seminar nu sunt eliminatorii însă sunt componente obligatorii ale notei finale. Verificările de la seminar sunt note finale și NU pot avea loc în sesiunile pentru măriri de note sau restanțe.

Additional info

(none)