DIKUL - logo
(UL)
  • 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.
    Vrsta gradiva - diplomsko delo
    Založništvo in izdelava - Ljubljana : [I. Hafner], 1972
    Jezik - slovenski
    COBISS.SI-ID - 3404889

    Povezava(-e):

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

Knjižnica Signatura – lokacija, inventarna št. ... Status izvoda
FMF in IMFM, Matematična knjižnica, Ljubljana Skladišče-Jadranska 21

10668/50 		prosto - za čitalnico
loading ...
loading ...
loading ...

Vnos na polico