Ítéletkalkulus és elsőrendű logika

A tétel rövid nézete
dc.contributor.advisorFigula, Ágota
dc.contributor.authorGém, Viktória
dc.contributor.departmentDE--Természettudományi és Technológiai Kar--Matematikai Intézet
dc.date.accessioned2023-05-05T08:15:19Z
dc.date.available2023-05-05T08:15:19Z
dc.date.created2023-05-05
dc.description.abstractA dolgozat témája az ítéletkalkulus és elsőrendű logika. A történeti bevezeteés és fogalmak megadása után az analitikus táblázat és Venn-diagram módszert, a Russel paradoxont és Neumann János utolsó munkáját: A számológép és az agy című esszét dolgozom fel.
dc.description.courseMatematika BSc
dc.description.degreeBSc/BA
dc.format.extent24
dc.identifier.urihttps://hdl.handle.net/2437/351939
dc.language.isohu
dc.subjectAnalitikus táblázat, Turing-gép, Russell-paradoxon
dc.subject.dspaceDEENK Témalista::Matematika
dc.titleÍtéletkalkulus és elsőrendű logika
Fájlok
Gyűjtemények
Hallgatói dolgozatok (Matematikai Intézet)