Anunțuri

Bine ați venit la cursul de Logică Matematică și Computațională al seriei 14!

Pentru mai multe detalii despre organizare și notare consultați Cursul 0.

Restanta: 7 septembrie 2019, 10:00 - 12:00, Amf. Titeica
  • Pentru a primi rezultatul de la examen pe email, va rugam sa completati acest formular (dedicat seriei 14).
  • Daca aveti intrebari privind corectarea examenelor, puteti veni marti, 17 septembrie, ora 10.00 in sala 209.
  • Examenul consta in probleme similare cu cele abordate in cursuri si seminarii
  • La examen sunt permise orice materiale scrise (cursuri, seminarii, notite etc.), dar nu sunt permise laptopuri, tablete, telefoane, smartwatches etc.
  • Punctajul maxim care poate fi obtinut la examen este de 15 puncte (14 puncte din probleme + 1 punct din oficiu)
  • Foaia cu subiecte va avea exercitii din doua parti:
    • partea 1 din preliminarii si logica propozitionala
    • partea 2 din logica de ordinul I
  • Conditii pentru promovare
    • minim 5 puncte (din cele 15 puncte)
    • minim 1 punct din partea 2

Curs

Seminar

Bibliografie

  • M. Davis, The Universal Computer: The Road from Leibnitz to Turing em>, CRC Press, 2012.
  • G. Georgescu, Elemente de logică matematică, Academia Militara, 1978.
  • P. G. Hinman, Fundamentals of mathematical logic, A K Peters, 2005.
  • J.D. Monk, Mathematical Logic, Springer Verlag, 1976.

Instructori

  • Denisa Diaconescu (curs, seminar 141)
  • Natalia Moangă (seminar 142 și 143)
  • Adriana Stancu (seminar 144)