Szekventkalkulus

A tétel rövid nézete
dc.contributor.advisorFigula, Ágota
dc.contributor.authorBodnár, Máté
dc.contributor.departmentDE--Természettudományi és Technológiai Kar--Matematikai Intézet
dc.date.accessioned2025-07-01T11:48:02Z
dc.date.available2025-07-01T11:48:02Z
dc.date.created2025
dc.description.abstractA dolgozatban az ítéletlogikát illetve az elsőrendű logikát mutatom be a szekventkalkulus irányába. A főbb témák így a következtetések, következtetésformák bizonyítása, illetve ezeknek a bevezetése. A dolgozatból kiderül, hogy minden formulát fel lehet írni bizonyos nekünk megfelelő alakban, valamint hogy ezek az alakok mennyire egyszerűen jellemezhetőek.
dc.description.courseMatematika BSc
dc.description.degreeBSc/BA
dc.format.extent24
dc.identifier.urihttps://hdl.handle.net/2437/395267
dc.language.isohu
dc.rights.infoHozzáférhető a 2022 decemberi felsőoktatási törvénymódosítás értelmében.
dc.subjectlogika
dc.subject.dspaceMatematika
dc.titleSzekventkalkulus
Fájlok
Eredeti köteg (ORIGINAL bundle)
Megjelenítve 1 - 1 (Összesen 1)
Nincs kép
Név:
szakdolgozat.pdf
Méret:
393.37 KB
Formátum:
Adobe Portable Document Format
Leírás:
Megjelenítés
Engedélyek köteg
Megjelenítve 1 - 1 (Összesen 1)
Nincs kép
Név:
license.txt
Méret:
2.35 KB
Formátum:
Item-specific license agreed upon to submission
Leírás:
Letöltés
Gyűjtemények
Hallgatói dolgozatok (Matematikai Intézet)