BME VIK, 2023/24 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 (2023 december elejétöl lesz elérhetö).