A példatár egyes pontjai általában három részre tagolódnak. A bevezetőben röviden összefoglaljuk a legfontosabb fogalmakat, tételeket. Ezek alkalmazásaként gyakorló feladatok következnek - ezek megoldása közvetlenül a kitűzés után következik - majd a pont végén önálló megoldásra szánt feladatok következnek. A kitűzött feladatok megoldását minden fejezet végén, egy helyen találja meg az Olvasó. A gyakorló feladatok és a feladatok anyagában sok fontos elméleti ismeret található. Az is előfordul, hogy fogalmak definícióját, tételek megfogalmazását is itt találja meg az Olvasó. Aki a matematikai logika alapjainak rendszeres felépítését akarja megismerni, annak számára fontos, hogy sorra vegye - és lehetőleg önállóan oldja meg - a gyakorló feladatokat és feladatokat. Urbán jános matematikai logika i login. Rövid leírás...
Cookie (Süti) tájékoztatás Az cookie-kat, rövid adatfájlokat használ honlapjain, melyeket a meglátogatott honlap helyez el a felhasználó számítógépén. A cookie célja, hogy az adott internetes szolgáltatás használatát megkönnyítse, kényelmesebbé tegye. Az Európai Bizottság irányelvei alapján, az csak olyan cookie-kat használ, melyek az adott szolgáltatás használatához elengedhetetlenül szükségesek, ilyen cookie-k esetén elegendő a felhasználó tájékoztatása. Könyv: Urbán János: Matematikai logika - Hernádi Antikvárium - Online antikvárium. Az kijelenti, hogy cookie-kban a felhasználó személyes adatait nem tárolja.
Ennek a feladatgyűjteménynek az a célja, hogy a matematikai logika legfontosabb alapfogalmaival és alkalmazásaival ismertesse meg az Olvasót. A feladatgyűjtemény anyagának megértése nagyon kevés konkrét matematikai előismeretet tételez fel (nagyjából a gimnázium első két osztályának matematika-tananyagát), de a fogalmak megértése, a feladatok megoldása komoly matematikai érdeklődést és absztrakciós készséget igényel. A matematikai logika olyan részeit itt nem tárgyaljuk, amelyeknek megértéséhez szükség lenne a végtelen halmazok számosságával, ill. matematikai axiómarendszerekkel kapcsolatos ismeretekre. A példatár egyes pontjai általában három részre tagolódnak. A matematika alapjai. A bevezetőben röviden összefoglaljuk a legfontosabb fogalmakat, tételeket. Ezek alkalmazásaként gyakorló feladatok következnek – ezek megoldása közvetlenül a kitűzés után következik – majd a pont végén önálló megoldásra szánt feladatok következnek. A kitűzött feladatok megoldását minden fejezet végén, egy helyen találja meg az Olvasó.
A kijelentés-logika következményfogalma, következtetési sémák, logikai levezetés. Rezolúciós elv az ítéletkalkulusban. Rezolúciós kalkulus. Boole gyűrűk és Zsegalkin polinomok. A Post-Jablonszki-féle teljességi tétel. Igazságfüggvények minimalizálása. A predikátumkalkulus alapjai, kvantorok, formulák, igazsághalmaz. Ekvivalens predikátumformulák. Prenex normálformák. Következtetési sémák a predikátumlogikában. Urban jános matematikai logika . Rezolúciós elv. Elsőrendű formulák és elsőrendű nyelvek. Modellek. A kompaktsági tétel és következményei. Alkalmazások: részben-rendezett halmazok, kontextus, fogalomháló. Félévközi számonkérés módja és az aláírás megszerzésének feltétele (Nappali): 2 db zárthelyi dolgozat. Az aláírás megszerzésének a feltétele a félévközi két 50 perces zárthelyi mindegyikének eredményes (legalább 50%-os) teljesítése. Félévközi számonkérés módja és az aláírás megszerzésének feltétele (Levelező): Gyakorlati jegy / kollokvium teljesítésének módja, értékelése (Nappali): A vizsga 110 perces írásbeli dolgozatból áll, amely gyakorlati és elméleti kérdéseket is tartalmaz.