Gazdag Zsolt: Herbrand tétele. (2020) [Video]
![[thumbnail of 10_Herbrand_struktúra.mp4]](https://eta.bibl.u-szeged.hu/style/images/fileicons/video.png) |
Video
10_Herbrand_struktúra.mp4 Download (68MB) |
|
Video
11_Herbrand_tétel.mp4 Download (100MB) |
Abstract
Herbrand struktúrák; Herbrand tétele; az elsőrendű logika kompaktsági tétele és következményei
| Item Type: | Video |
|---|---|
| Date: | 2020 |
| Language: | Hungarian |
| Learning Material Type: | presentation |
| Department: | Számítástudomány Alapjai Tanszék |
| Faculty: | Faculty of Science and Informatics |
| Term: | 2019/20/2 |
| Course code: | IB372E-1 |
| Course name: | Logikai következtetési rendszerek |
| Uncontrolled Keywords: | logika |
| Subjects: | 01. Natural sciences 01. Natural sciences > 01.01. Mathematics 01. Natural sciences > 01.01. Mathematics > 01.01.01. Pure mathematics, applied mathematics 01. Natural sciences > 01.01. Mathematics > 01.01.01. Pure mathematics, applied mathematics > 01.01.01.01. Logic and foundations |
| Date Deposited: | 2020. Apr. 01. 10:04 |
| Last Modified: | 2021. Oct. 08. 09:23 |
| URI: | https://eta.bibl.u-szeged.hu/id/eprint/2781 |
Actions (login required)
 |
View Item |
