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

Introducere

Validitate, contingenta, nesatisfiabilitate

Echivalente propozitionale

Deductia naturala

Rationament semantic (cont)

Logica predicatelor - sintaxa

Logica predicatelor - semantica

Demonstratii in logica predicatelor