Herbrand tétele

Gazdag, Zsolt: Herbrand tétele. (2020) [Video]

[img] Video
10_Herbrand_struktúra.mp4

Download (257MB)
[img] Video
11_Herbrand_tétel.mp4

Download (286MB)

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: 2020. Apr. 03. 08:10
URI: https://eta.bibl.u-szeged.hu/id/eprint/2781

Actions (login required)

View Item View Item