Osnove matematične logike. Del 3,Aplikacija

(UM)

Osnove matematične logike. Del 3, Aplikacija

Prijatelj, Niko

V tem zadnjem poglavju je najprej prikazan razvoj formalne teorije števil prvega reda N in vpeljan je standardni model ▫${\cal N}$▫ teorije N. Zatem so nadrobno obravnavane rekurzivne funkcije in ... relacije. Pokazano je, da so rekurzivne funkcije predstavljive in rekurzivne relacije izrazljive v sestavu N. Aritmezacija sintakse prek Gödlove numeracije je podrobno opisana. Nazadnje so obravnavani oba Gödlova teorema, Churchev teorem in teorem Tarskega.

Vrsta gradiva - učbenik

Založništvo in izdelava - Ljubljana : Društvo matematikov, fizikov in astronomov Slovenije, 1994

Jezik - slovenski

ISBN - 961-212-023-4

COBISS.SI-ID - 38560000

Išči dalje

Zaloga
Zaloga v drugih knjižnicah

Knjižnica	Signatura – lokacija, inventarna št. ...	Status izvoda
Knjižnica tehniških fakultet, Maribor	knjižnica 510 PRIJATELJ N. OSNOVE 3	prosto - na dom, čas izposoje: 1 mes.
Miklošičeva knjižnica - FPNM, Maribor	K 510.6 PRIJATELJ N. Osnove 3 IN: 199402145	prosto - na dom, čas izposoje: 1 mes.
Univerzitetna knjižnica Maribor	Skladišče 42201/35 b	prosto - na dom, čas izposoje: 1 mes.
Univerzitetna knjižnica Maribor	Skladišče 42201/35 a	prosto - na dom, čas izposoje: 1 mes.
Univerzitetna knjižnica Maribor	Skladišče 42201/35	prosto - na dom, čas izposoje: 1 mes.

Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.

Leto	Faktor vpliva		Izdaja		Kategorija		Razvrstitev
Leto	JCR	SNIP	JCR	SNIP	JCR	SNIP	JCR	SNIP

Povezave do osebnih bibliografij avtorjev	Povezave do podatkov o raziskovalcih v sistemu SICRIS
Prijatelj, Niko	00221

Vir: Osebne bibliografije in: SICRIS

Gradivo iz matične enote je brezplačno. Če je gradivo na mesto prevzema dostavljeno iz drugih enot, lahko knjižnica to storitev zaračuna.

Mesto prevzema	Status gradiva	Rezervacija

Naloži sliko

Vnos na polico

Dodajanje gradiva na polico je uspelo.

Dodajanje gradiva na polico je spodletelo.

Dodajanje gradiva na polico ni bilo potrebno.

Trajna povezava

E-pošta

Faktor vpliva

Izberite knjižnično izkaznico:

Baze podatkov, v katerih je revija indeksirana

Izberite prevzemno mesto:

Prevzem gradiva po pošti

Obvestilo

Citiranje

Gesla v Splošnem geslovniku COBISS

Izbira mesta prevzema

Rezervacija je uspela.

Rezervacija ni uspela.

Rezervacija...

Bibliografski podatki

Število izposoj

Izposoja uspešna

Izposoja ni uspela

Izposoja uspešna

Izposoja ni uspela

Izposoja uspešna

Izposoja ni uspela

Izposoja uspešna

Izposoja ni uspela

Tema