Akademska digitalna zbirka SLovenije - logo
ALL libraries (COBIB.SI union bibliographic/catalogue database)
  • Popolnost predikatnega računa : diplomsko delo
    Hafner, Izidor
    Delo obravnava matematično logiko. Osrednjo vlogo ima povezava med sintakso in semantiko. Razdeljeno je na štiri poglavja. Prvo uvaja osnovne pojme sintakse predikatnega in izjavnega računa (formula, ... izjava, aksiom, dokaz, izpeljava). Glavni rezultat tega poglavja je izrek o dedukciji. Drugo poglavje obravnava semantiko. Tu nastopajo pojmi: pravilnost, veljavnost, model itd. V tretjem poglavju so navedeni dokazi izrekov o veljavnosti in popolnosti za izjavni in predikatni račun. Osnovni rezultat je tu izrek o popolnosti predikatnega računa (Gödel 1930). V četrtem poglavju je podana posplošitev izreka o popolnosti na predikatni račun z enakostjo in nato še na račun s funkcijami. Obravnavane so tudi nekatere posledice izreka o popolnosti: Skilem-Löwenheimov izrek o števnih modelih, izrek o kompaktnosti in Skolenov izrek o nestandardnih modelih teorije števil.
    Type of material - undergraduate thesis
    Publication and manufacture - Ljubljana : [I. Hafner], 1972
    Language - slovenian
    COBISS.SI-ID - 3404889

    Link(s):

    http://www.matknjiz.si/diplome/uni/u/1972/10668-50.pdf

Library/institution City Acronym For loan Other holdings
FMF and IMFM, Mathematical Library, Ljubljana Ljubljana MAKLJ reading room 1 cop.
loading ...
loading ...
loading ...

Shelf entry