BME VIK, 2017/18 1 félév, Felsöbb Matematika, 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.