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.

Detalii despre examen
  • Data: 25 ianuarie, ora 14:00
  • Repartizare in sali:
    • Amf. Stoilow: grupa 141 si grupa 142
    • Amf. Haret: grupa 143 si grupa 144
  • Pentru a primi rezultatul de la examen pe email, va rugam sa completati acest formular (dedicat seriei 14).
  • Durata: 2 ore
  • 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
Orar
  • Curs: miercuri, 12.00-14.00, amf. Stoilow (etaj 1)
  • Seminar:
    • 141: miercuri, 16.00 - 18.00, sala 219
    • 142: vineri, 10.00 - 12.00, sala 216
    • 143: vineri, 12.00 - 14.00, sala 10
    • 144: joi, 08.00 - 10.00, sala 8

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)