Gazdag Zsolt: Herbrand tétele. (2020) [Videóanyag]
![[thumbnail of 10_Herbrand_struktúra.mp4]](https://eta.bibl.u-szeged.hu/style/images/fileicons/video.png) |
Videó
10_Herbrand_struktúra.mp4 Letöltés (68MB) |
|
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 |
 |
Tétel nézet |
