Herbrand tétele
Herbrand struktúrák; Herbrand tétele; az elsőrendű logika kompaktsági tétele és következményei
Elmentve itt :
| Szerző: | |
|---|---|
| Dokumentumtípus: | Videó |
| Megjelent: |
2020
|
| Kulcsszavak: | logika |
| Tárgyszavak: | |
| Online Access: | http://eta.bibl.u-szeged.hu/2781 |
| LEADER | 00861ngm a2200229 i 4500 | ||
|---|---|---|---|
| 001 | eta2781 | ||
| 005 | 20211008092340.0 | ||
| 008 | 200401s2020 hu o 0|| hun d | ||
| 040 | |a SZTE Elektronikus Tananyag Archívum |b hun | ||
| 041 | |a hun | ||
| 100 | 1 | |a Gazdag Zsolt | |
| 245 | 1 | 0 | |a Herbrand tétele |h [elektronikus dokumentum] / |c Gazdag Zsolt |
| 260 | |c 2020 | ||
| 516 | |a Video | ||
| 520 | 3 | |a Herbrand struktúrák; Herbrand tétele; az elsőrendű logika kompaktsági tétele és következményei | |
| 650 | 4 | |a Természettudományok | |
| 650 | 4 | |a Matematika | |
| 650 | 4 | |a Elméleti és alkalmazott matematika | |
| 650 | 4 | |a Logika és alapvetés | |
| 695 | |a logika | ||
| 856 | 4 | 0 | |u https://eta.bibl.u-szeged.hu/2781/1/10_Herbrand_strukt%C3%BAra.mp4 |z Dokumentum-elérés |
| 856 | 4 | 0 | |u https://eta.bibl.u-szeged.hu/2781/2/11_Herbrand_t%C3%A9tel.mp4 |z Dokumentum-elérés |