Szekventkalkulus
Betöltés ...
Fájlok
Dátum
Authors
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
DOI
Absztrakt
A 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.
Leírás
Kulcsszavak
Forrás
Hivatkozás
Gyűjtemények
Jóváhagyás
Áttekintés
Kiegészítve
Hivatkozik rá
Jogok és engedélyezések
Hozzáférhető a 2022 decemberi felsőoktatási törvénymódosítás értelmében.