Segédanyagok/információk Matematikai Logikából

2011/12 1. félév

Jegyzet:

Propozicionális logika:   pdf

Elsőrendű logika:          pdf

Függelék:

Kompaktsági tétel, teljesség, eldönthetőség:  pdf

Kategoricitás:      pdf

ZFC:                  pdf

Mintapéldák:     pdf

Tematika:         pdf


Korrekciók:            pdf