Programare Nonprocedurala

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

Logica Computationala

Introducere

Validitate, contingenta, nesatisfiabilitate

Echivalente propozitionale

Deductia naturala

Logica predicatelor - sintaxa

Logica predicatelor - semantica

Demonstratii in logica predicatelor

Masini Instruibile

Introducere

Modele liniare

Masini cu suport vectorial

Retele neuronale

Arbori de decizie si metode ansamblu

Evaluarea si imbunatarirea performantei

Deep learning. Retele convolutionale pentru clasificare

Detectare de obiecte, segmentare semantica, segmentarea instantelor

Retele profunde recurente

Modele generative

Deep reinforcement learning

Aplicatii practice pentru procesarea imaginilor

Aplicatii reale pentru modelarea seriilor temporale

Probleme deschise in machine/deep learning