Teorija dokazovanja

1. Teorija dokazov je veja matematične logike, ki se osredotoča na strukturo matematičnih dokazov. Ukvarja se s preučevanjem in analizo formalnih matematičnih dedukcijskih sistemov in pravil, ki se uporabljajo za ugotavljanje veljavnosti matematičnih izjav. Teorija dokazov se ukvarja s temeljnim vprašanjem, kako je mogoče matematične trditve oblikovati na strog in sistematičen način, s končnim ciljem zagotoviti jasno in natančno razumevanje utemeljevanja matematičnih trditev in njihovih dokazov.

Kaj je Herbrandova interpretacija v teoriji dokazov?

A) Interpretacija logične formule prvega reda s pripisovanjem konkretnih vrednosti spremenljivkam.
B) Razlaga, ki temelji na matematični indukciji.
C) Razlaga, ki se opira na aksiomatske sisteme.
D) Razlaga, ki se uporablja v inženirstvu programske opreme.

2. Kakšen je cilj normalizacije v teoriji dokazovanja?

A) standardizirati zapis, ki se uporablja v matematičnih dokazih.
B) Odpraviti potrebo po formalnih dokazih.
C) Preoblikovanje dokaza v kanonično obliko za lažjo analizo.
D) Dodajanje kompleksnosti dokazu, da bi bil bolj prepričljiv.

3. Kaj je kompleksnost dokaza v teoriji dokazov?

A) Štetje števila logičnih veznikov v formuli.
B) Določanje resničnostne vrednosti propozicije.
C) Merjenje dolžine matematičnega dokaza.
D) Študija virov, potrebnih za dokazovanje matematičnih trditev.

4. Kateri so logični vezniki v propozicionalni logiki?

A) SEŠTEVANJE, ODŠTEVANJE, MNOŽENJE.
B) IF, THEN, ELSE.
C) FOR, WHILE, DO.
D) IN, ALI, NE.

5. Kaj je načelo odprave rezov v teoriji dokazovanja?

A) Pravilo, da so rezi potrebni za veljavne dokaze.
B) Vsak dokaz, ki vsebuje rez, je mogoče pretvoriti v dokaz brez reza.
C) Lastnost, da morajo vsi dokazi odpraviti reze.
D) Načelo, da v formalni logiki ni mogoče uporabljati rezov.

6. Kakšna je povezava med Gödelovimi trditvami o nepopolnosti in teorijo dokazovanja?

A) Teoreme odpravljajo potrebo po zapletenosti dokazov.
B) Teze vzpostavljajo standardne aksiomatske sisteme.
C) Teoreme kažejo na omejitve formalnih dokaznih sistemov.
D) Teoreme zagotavljajo nove tehnike za izdelavo dokazov.

7. Kdo je v teorijo dokazovanja uvedel koncept zaporednega računa?

A) Alfred Tarski.
B) Gerhard Gentzen.
C) Alonzo Church.
D) Henri Poincaré.

8. Kaj je Curry-Howardova korespondenca v teoriji dokazovanja?

A) Pravilo za konstruiranje matematičnih dokazov.
B) Vrsta logičnega sklepanja.
C) Skladnost med dokazi in računalniškimi programi v intuicionistični logiki.
D) Zgodovinski dogodek v teoriji dokazovanja.

Ustvarjeno z That Quiz — kjer je izdelava in reševanje testov narejena enostavno za matematiko in ostale predmete.