BME VIK, 2010/2011 1 félév, Felsöbb Matematika C, Logika rész

• Logika gyakorlófeladatok 1. adag (formalizálás, modellek, logikai következmény, bizonyitáselmélet)

• Logika gyakorlófeladatok 2. adag (rezolúció)

• Régebbi zh feladatok.

• Elektronikus jegyzet.

• Vizsgakérdések jegyzéke.