Departamentul de Informatica, Facultatea de Stiinte Exacte din Craiova
Note de curs logica computationala
Note de curs programare nonprocedurala