BME VIK, 2018/19 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ó)

• Régebbi zh feladatok.

• Vizsgakérdések jegyzéke (2018 december elejétöl lesz elérhetö).