Colocviile se desfasoara in perioada 22-30 mai.
Introducere ML
Masini cu suport vectorial
4. Retele neuronale
5. Arbori de decizie
6. Metode ansamblu
7. Evaluarea performantei
Invatare supervizata
Introducere
Liste in Prolog
Structuri compuse
Backtracking
Stringuri
Baze de date dinamice
Fundamentele limbajului Lisp I
Fundamentele limbajului Lisp II
Definirea propriilor functii
Conditionalul si recursivitatea
Recursivitate cu liste
Prolog vs. Lisp prin exemple
Validitate, contingenta, nesatisfiabilitate
Echivalente propozitionale
Deductia naturala
Rationament semantic (cont)
Logica predicatelor - sintaxa
Logica predicatelor - semantica
Demonstratii in logica predicatelor