Curs Logică Matematică și Computațională  •  ID

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

Examen 2 februarie [solutii]

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

• Partea 1: 20 octombrie, ora 10.00, amf. Pompeiu (etaj 2)
• Partea 2: 27 octombire, ora 10.00, amf. Stoilow (etaj 1)
• Partea 3: 4 noiembrie, ora 10.00, amf. Stoilow (etaj 1)

• Intro: [material] [4print]
• Partea 1: [material] [4print]
• Partea 1 - exerciții: [material] [solutii]
• Partea 2: [material] [4print]
• Partea 2 - exerciții: [material] [solutii]
• Partea 3: [material] [4print]
• Partea 3 - exerciții: [material] [solutii]

• 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.

• Denisa Diaconescu