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

• Elektronikus jegyzet.

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

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

• A 2d. feladat 2. megoldása

• Régebbi zh feladatok.

• Vizsgakérdések jegyzéke.