Úvod do logiky pre informatikov

Saved in:
Bibliographic Details
Main Author: Kvasnička, Vladimír, 1941- (Author)
Format: Book
Language: Slovak
Published: [Bratislava] : Iris, 2016
Edition: Prvé vydanie
Subjects:
logika
predikátová logika
výroková logika
logická sémantika
informatika
logic
predicate calculus
propositional calculus
logical semantics
informatics
monografie
monographs
ISBN: 9788081530593
Physical Description: 190 stran : ilustrace ; 29 cm

Cover

Table of contents

LEADER 01982nam a2200517 i 4500
001 88154
003 CZ ZlUTB
005 20240829162155.0
007 ta
008 170717s2016 xo a e 001 0 slo d
020 |a 9788081530593  |q (brožováno) 
040 |a ZLD002  |b cze  |e rda 
072 7 |a 16  |x Logika  |2 Konspekt  |9 5 
080 |a 16  |2 MRF 
080 |a 164.2  |2 MRF 
080 |a 164.1  |2 MRF 
080 |a 161.15:81'37  |2 MRF 
080 |a 007+004  |2 MRF 
080 |a (048.8)  |2 MRF 
100 1 |a Kvasnička, Vladimír,  |d 1941-  |7 jn20011210357  |4 aut 
245 1 0 |a Úvod do logiky pre informatikov /  |c Vladimír Kvasnička 
250 |a Prvé vydanie 
264 1 |a [Bratislava] :  |b Iris,  |c 2016 
300 |a 190 stran :  |b ilustrace ;  |c 29 cm 
336 |a text  |b txt  |2 rdacontent 
337 |a bez média  |b n  |2 rdamedia 
338 |a svazek  |b nc  |2 rdacarrier 
504 |a Obsahuje bibliografie a rejstřík 
650 0 7 |a logika  |7 ph122436  |2 czenas 
650 0 7 |a predikátová logika  |7 ph124584  |2 czenas 
650 0 7 |a výroková logika  |7 ph127455  |2 czenas 
650 0 7 |a logická sémantika  |7 ph172905  |2 czenas 
650 0 7 |a informatika  |7 ph137095  |2 czenas 
650 0 9 |a logic  |2 eczenas 
650 0 9 |a predicate calculus  |2 eczenas 
650 0 9 |a propositional calculus  |2 eczenas 
650 0 9 |a logical semantics  |2 eczenas 
650 0 9 |a informatics  |2 eczenas 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 9 |a monographs  |2 eczenas 
910 |a ZLD002 
992 |a BK  |b SK 
999 |c 88154  |d 88154 
952 |0 0  |1 0  |4 0  |6 16KVASNIČKAV  |7 0  |8 BOOK  |9 144000  |a UTBZL  |b UTBZL  |c 005  |d 2017-07-17  |o 16/KVASNIČKA,V.  |p 420010171230  |r 2019-08-26  |v 574.00  |w 2019-08-26  |x N:nákup;  |y 01 
952 |0 0  |1 0  |4 0  |6 16KVASNIČKAV  |7 0  |8 BOOK  |9 179916  |a UTBUH  |b UTBUH  |c 028  |d 2024-05-10  |o 16/KVASNIČKA,V.  |p 420010196212  |r 2024-05-10  |v 396.00  |w 2024-05-10  |x N:nákup  |y 01 
952 |0 0  |1 0  |4 0  |6 16KVASNIČKAV  |7 0  |8 BOOK  |9 179917  |a UTBUH  |b UTBUH  |c 028  |d 2024-05-10  |o 16/KVASNIČKA,V.  |p 420010196213  |r 2024-05-10  |v 396.00  |w 2024-05-10  |x N:nákup  |y 04 

Similar Items