Herbrand tétele

Gazdag Zsolt: Herbrand tétele. (2020) [Videóanyag]

[thumbnail of 10_Herbrand_struktúra.mp4] Videó
10_Herbrand_struktúra.mp4

Letöltés (68MB)
[thumbnail of 11_Herbrand_tétel.mp4] Videó
11_Herbrand_tétel.mp4

Letöltés (100MB)

Absztrakt, leírás

Herbrand struktúrák; Herbrand tétele; az elsőrendű logika kompaktsági tétele és következményei

Oktatási anyag típusa: Videóanyag
Dátum: 2020
Nyelv: magyar
Tananyag típusa: prezentáció
Tanszék, intézet: Számítástudomány Alapjai Tanszék
Kar: Természettudományi és Informatikai Kar
Szemeszter: 2019/20/2
Kurzuskód: IB372E-1
Kurzusnév: Logikai következtetési rendszerek
Kulcsszavak: logika
Szakterület: 01. Természettudományok
01. Természettudományok > 01.01. Matematika
01. Természettudományok > 01.01. Matematika > 01.01.01. Elméleti és alkalmazott matematika
01. Természettudományok > 01.01. Matematika > 01.01.01. Elméleti és alkalmazott matematika > 01.01.01.01. Logika és alapvetés
Feltöltés dátuma: 2020. Apr. 01. 10:04
Utolsó módosítás: 2021. Okt. 08. 09:23
URI: https://eta.bibl.u-szeged.hu/id/eprint/2781
Bővebben:
Tétel nézet Tétel nézet