Title	Základy elementární matematiky s didaktikou pro učitelství 1. stupně ZŠ
Author info	Jitka Panáčová, Jaroslav Beránek
Author	Panáčová Jitka
Co-authors	Beránek Jaroslav
Issue data	Brno : Masarykova univerzita , 2020. - 167 s. : il., tab., 30 cm
Issue	1. vyd.
ISBN	978-80-210-9863-3
Note	Bibliografia. Register
Keywords	matematika - mathematics výroková logika - propositional calculus teória množín - set theory didaktika matematiky - didactics of mathematics učitelia základných škôl - elementary school teachers
Form. Descr.	učebnice vysokých škôl - textbooks (higher)
Language	Czech
Country	Czech Republic
systematics	51
	510.633
	510.22
	37.016.026
Catal.org.	BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
Database	xkni - BOOKS
Copy count	1, currently available 0, at library only 1

Title	Principy kritického myšlení
Subtitle	[jak logicky zhodnotit informace a zasadit je do souvislostí]
Author info	Brandon Royal; [z anglického originálu ... přeložila Karolína Kvapilová]
Author	Royal Brandon
Another authors	Kvapilová Karolína (Translator)
Issue data	Praha : Ikar , 2016. - 255 s. : obr., 21 cm
Issue	1. vyd.
ISBN	978-80-249-3051-0
Note	Podnázov z obálky
Keywords	kritické myslenie - critical thinking rozhodovanie - decision making výroková logika - propositional calculus
Form. Descr.	príručky - handbooks
Language	Czech
Country	Czech Republic
systematics	159.955:165.021
	159.955.5
	162
	164.1
	(035)
Catal.org.	BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
Database	xkni - BOOKS
Copy count	3, currently available 1, at library only 2

Call number	Location	Sublocation	Umiestnenie	Info
362784	Univerzita Mateja Bela	Department of absent lending	Voľný výber - Psychológia
367288	Univerzita Mateja Bela	Department of elementary and preschool pedagogy		In-Library Use Only
370070	Univerzita Mateja Bela	PF Katedra pedagogiky a andragogiky	Etická výchova	In-Library Use Only

Title	Logika I.
Author info	Jaroslav Holomek
Author	Holomek Jaroslav
Issue data	Trenčín : Trenčianska univerzita Alexandra Dubčeka v Trenčíne, Fakulta sociálno-ekonomických vzťahov , 2011. - 87 s. : sch., tab., 29 cm
Issue	2. opr. vyd.
ISBN	978-80-8075-501-0
Note	Bibliografia s. 87
Keywords	logika - logic formálna logika - formal logic výroková logika - propositional calculus
Form. Descr.	učebnice vysokých škôl - textbooks (higher)
Language	Slovak
Country	Slovak Republic
systematics	16
	168.2
Catal.org.	BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
Database	xkni - BOOKS
Copy count	1, currently available 0, at library only 1

Title	Základy logiky
Subtitle	pre spoločenskovedné a humanitné odbory
Author info	Marián Zouhar
Author	Zouhar Marián
Issue data	Bratislava : Veda , 2008. - 429 s. : tab., 24 cm
Issue	[1. vyd.]
ISBN	978-80-224-1040-3
Note	Bibliogr. s. 425-426. Vec. reg.
Keywords	logika - logic výroková logika - propositional calculus predikátová logika - predicate calculus
Language	Slovak
Country	Slovak Republic
systematics	164.1
	161.26
Catal.org.	BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
Database	xkni - BOOKS
Copy count	1, currently available 0, at library only 1

Title	Propedeutika matematiky a počiatočné matematické predstavy
Author info	Ľubica Gerová
Author	Gerová Ľubica 1960-
Issue data	Banská Bystrica : Pedagogická fakulta Univerzity Mateja Bela , 2007. - 92 s. : ilustr., 30 cm
Issue	1. vyd.
ISBN	978-80-8083-471-5
Note	Bibliografia s. 87-88.
Keywords	matematika - mathematics výroková logika - propositional calculus množiny geometria - geometry prirodzené čísla
Form. Descr.	učebnice vysokých škôl - textbooks (higher)
Language	Slovak
Country	Slovak Republic
systematics	51
	(075.8)
Catal.org.	BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
Database	xkni - BOOKS
Copy count	12, currently available 10, at library only 2

Call number	Location	Sublocation	Info
288281	Univerzita Mateja Bela	Department of absent lending
288282	Univerzita Mateja Bela	Department of absent lending
288283	Univerzita Mateja Bela	Department of absent lending
288284	Univerzita Mateja Bela	Department of absent lending
288285	Univerzita Mateja Bela	Department of absent lending
288286	Univerzita Mateja Bela	Department of absent lending
288287	Univerzita Mateja Bela	Department of absent lending
288288	Univerzita Mateja Bela	Department of absent lending
288289	Univerzita Mateja Bela	Department of absent lending
288290	Univerzita Mateja Bela	Department of absent lending
288291	Univerzita Mateja Bela	Reading room of education	In-Library Use Only
288292	Univerzita Mateja Bela	Department of mathematics	In-Library Use Only

Title	Stoická sémantika a logika
Author info	František Gahér
Author	Gahér František
Issue data	Bratislava : Univerzita Komenského , 2006. - 246 s., 24 cm
Issue	2. dopl. vyd.
ISBN	80-223-2188-5
Note	Bibliografia s. 236 - 241. Menný a vecný register
Keywords	logika - logic výroková logika - propositional calculus
Language	Slovak
Country	Slovak Republic
Annotation	Res. angl.
Catal.org.	BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
Database	xkni - BOOKS
Copy count	1, currently available 0, at library only 1

Title	Logika a logiky
Subtitle	Systém klasické výrokové logiky, jeho rozšíření a alternativy
Author info	Jaroslav Peregrin
Author	Peregrin Jaroslav 1957-
Issue data	Praha : Academia , 2004. - 205 s. : il., 21 cm
Issue	1. vyd.
ISBN	80-200-1187-0
Note	Bibliografia s. [195] - 198. Register
Keywords	logika - logic výroková logika - propositional calculus
Language	Czech
Country	Czech Republic
systematics	164
	510.633
Catal.org.	BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
Database	xkni - BOOKS
Copy count	1, currently available 0, at library only 1

Title	Logika neúplnost, složitost a nutnost
Author info	Vítězslav Švejdar
Author	Švejdar Vítězslav
Issue data	Praha : Academia , 2002. - 464 s.
Issue	1. vyd.
ISBN	802001005X
Keywords	neklasické logiky logika - logic výroková logika - propositional calculus algoritmy - algorithms Peanova a Robinsonova aritmetika
Language	Czech
Country	Czech Republic
systematics	511.3
Catal.org.	BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
Database	xkni - BOOKS
Copy count	1, currently available 0, at library only 1

Title	The Logical Basic for Computer programming
Subtitle	Deductive systems
Author info	Zohar Manna, Richard Waldinger
Author	Manna Zohar
Co-authors	Waldinger Richard
Issue data	Reading : Addison-Wesley Publishing Company , 1990. - 642 s.
Issue	1st ed.
ISBN	0-201-18261-0
Keywords	programovanie - programming výroková logika - propositional calculus algoritmy - algorithms unifikácia
Language	English
Country	United States of America
systematics	519.688=20
Catal.org.	BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
Database	xkni - BOOKS
Copy count	1, currently available 0, at library only 1

Search results