[feed] pefprints@pef.uni-lj.si | [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0 |
English
Logo            
  Logo Prijava | Registracija
 
 

Osnove modalne logike

Lara Pirjevec (2015) Osnove modalne logike. Diplomsko delo.

[img]
Predogled
PDF
Download (504Kb)

    Povzetek

    Diplomsko delo preko ponovitve izjavnega računa preide na ločevanje različnih načinov resnic ter na matematično podlago, v kateri se najprej seznanimo s sintakso in semantiko modalne logike. Sledi opredelitev modelov, veljavnih formul, shem formul in predstavitev ekvivalenc modalne logike. V drugem delu diplomskega dela pa se osredotočimo predvsem na logično načrtovanje, preko katerega modeliramo različne koncepte resnice, katere dosežemo tako, da v model sprejemamo različne sheme formul. Predstavljene so tudi lastnosti relacije dostopnosti in njihova povezava s formulami.

    Tip vnosa: Delo ali doktorska disertacija (Diplomsko delo)
    Ključne besede: modalna logika, načini resnice, nujnost, možnost, možni svet, model, relacija, dostopnosti, sheme formul
    Število strani: 31
    Jezik vsebine: Slovenščina
    Mentor / Somentorji:
    Mentor / SomentorjiIDFunkcija
    prof. dr. Andrej BauerMentor
    izr. prof. dr. Marko SlaparSomentor
    Povezava na COBISS: http://www.cobiss.si/scripts/cobiss?command=search&base=50126&select=(ID=10681417)
    Ustanova: Univerza v Ljubljani
    Fakulteta: Pedagoška fakulteta
    ID vnosa: 2982
    Datum vnosa: 09 Sep 2015 11:22
    Zadnja sprememba: 09 Sep 2015 11:22
    URI: http://pefprints.pef.uni-lj.si/id/eprint/2982

    Akcije (potrebna je prijava)

    Pregled vnosa