Number of the records: 1

Logika

book

Švejdar, Vítězslav, 1954- - Author Vyd. 1. - Praha : Academia, 2002 - 464 s. : il. ; 24 cm ISBN 80-200-1005-X logika matematická logika učebnice
Call number	C 307.483
Umístění	161/164 - Logika. Logistika

Branch	Info	Signature
Lidická ( volný výběr )	k vypůjčení	C 307.483
Na Sadech - dospělé ( naučná )	k vypůjčení	C 307.483 a1
Suché Vrbné	k vypůjčení	C 307.483 SV

Title statement	Logika : neúplnost, složitost a nutnost / Vítězslav Švejdar
Main entry-name	Švejdar, Vítězslav, 1954- (Author)
Edition statement	Vyd. 1.
Issue data	Praha : Academia, 2002
Phys.des.	464 s. : il. ; 24 cm
ISBN	80-200-1005-X
National bibl. num.	cnb001176514
Internal Bibliographies/Indexes Note	Obsahuje bibliografii a rejstřík
Subj. Headings	logika * matematická logika
Form, Genre	učebnice
Conspect	16 - Logika
UDC	16 , 161/162 , 164 , 510.6
Country	Česko
Language	čeština
Ve volném výběru	161/164 - Logika. Logistika
Document kind	BOOKS

Shrnující výklad poznatků z oblasti výrokové logiky, predikátové logiky, algoritmů, intuicionistické logiky, logiky dokazatelnosti, Gödelovy fuzzy logiky, Peanovy a Robinsonovy aritmetiky předpokládá vyšší stupeň oborových znalostí. Publikace se tudíž zaměřuje pouze na erudovanější studenty a vědecké pracovníky z oblasti logiky, matematiky a teoretické informatiky. Zdroj anotace: Městská knihovna v Praze

Number of the records: 1