University of Debrecen Electronic Archive

Browsing Hallgatói dolgozatok (Informatikai Kar) by Subject "kalkulus"

Sort by: Order: Results:

  • Kócs, László (2007-02-14)
    Ebben a dolgozatban az alapvető célkitűzésem az volt, hogy áttekintéssel szolgáljak az intuicionista logikában használatos kalkulusokról, és egyáltalán az intuicionista logikáról. Közel sem törekedtem a teljességre; inkább ...
  • Árva, Ferenc (2006-07-27)
    A logika azon módszereknek és elveknek a tudománya, mely a gondolkodás általános fogalmait és törvényszerűségeit vizsgálja. Ilyenek például az igazság fogalma, a következteté-sek, modalitások, stb. A logika tudományának ...
  • Kántor, Kristóf Szilveszter (2012-05-15)
    A dolgozat a legfontosabb matematikai logikai definíciók után tárgyalja az SLD-rezolúciót, ahol kifejtésre és illusztrálásra kerülnek a bizonyítási fák is. Ezt követően bemutatja a Prologot, illetve annak kialakulásának ...
  • Rigó, Zsuzsanna (2006-08-01)
    A dolgozat célja az, hogy bemutassa a logikai programozást mint ismeretreprezentációs technikát és rezolúciós tételbizonyítást mint következtetőgépet és azt, hogy hogyan működik mindez egy szakértői rendszer felépítése ...
 
 

Search DEA


My Account