Osnove, razvoj, zgodovina in metodologija matematike. Del 1,Algebrajski problemi v predikatnem računu

FMF in IMFM, Matematična knjižnica, Ljubljana (MAKLJ)

Osnove, razvoj, zgodovina in metodologija matematike. Del 1, Algebrajski problemi v predikatnem računu

Hafner, Izidor

Obravnavana je rešljivost logičnih problemov predikatnega računa, kjer iščemo vrednosti za neznane individualne konstante. V primeru Smullyanovih formalnih sistemov je izdelan algoritem za iskanje ... vrednosti. Algoritem je zasnovan na metodi, ki se uporablja pri mehaničnem dokazovanju izrekov. Dokazana je pravilnost in zadostnost te metode. Nekaj primerov teorij je predstavljenih v obliki, primerni za reševanje po izpeljanem algoritmu. Rešenih je tudi nekaj primerov.

Vrsta gradiva - raziskovalno poročilo

Založništvo in izdelava - Ljubljana : Inštitut za matematiko, fiziko in mehaniko, 1985

Jezik - slovenski

COBISS.SI-ID - 7968345

Išči dalje

Zaloga
Zaloga v drugih knjižnicah

Signatura – lokacija, inventarna št. ...	Status izvoda	Rezervacija
Skladišče-Jadranska 19 10920/150	prosto - za čitalnico

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
Hafner, Izidor	06895

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