Search results
- MATLAB Deep Learning : with Machine Learning, Neural Networks and Artificial Intelligence / aut. Phil Kim
Kim Phil
Apress 2017 . - 151 s.
ISBN 978-1-4842-2844-9
programovací jazyk matematická logika MATLAB neurónové siete
učebnicaFaculty Available Inaccesible Issued For Request Only MTF 1 0 0 0 
book
- Úvod do matematickej logiky
Knor Martin ; 010220 Niepel Ľudovít (rec.) Klešč Marián (rec.)
1. vyd.
Bratislava : Slovenská technická univerzita v Bratislave, 2016 . - 111 s.
ISBN 978-80-227-4656-4
matematická logika modálna logika mathematical logic modal logic
skriptá
BCI - Scripts and school texts (lectures)
P1 - Pedagogický výstup publikačnej činnosti ako celokbook
- Metamath - Assembler Language of Proof Languages
Kiselkov Martin ; I200
Student Research Conference 2007. 3rd Student Research Conference in Informatics and Information Technologies Bratislava, April 18, 2007 : . s.233-240
automatické dokazovanie matematická logika formálne systémy
článok zo zborníka
AFD - Reports at home scientific conferences
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
article
- Matematická logika
Kvasnička Vladimír ; 070400 Pospíchal Jiří ; 070400
STU v Bratislave FIIT, 2006 . - 399 s
ISBN 80-227-2449-1
matematická logika výroková logika predikátová logika fuzzy logika modálne logiky
učebnica
ACB - Academic school-books issued in home editorship
P1 - Pedagogický výstup publikačnej činnosti ako celokFaculty Available Inaccesible Issued For Request Only FEI 3 1 1 1 FIIT 9 0 1 0 
book
- An Introduction to Non-Classical Logic. A Structured Approach Using PL/1 and PL/C
Conway Richard Gries David
1. vyd
Cambridge: Winthrop Publishers, 1973 . - 460 s
ISBN 0-87626-406-2
programovanie
monografiaFaculty Available Inaccesible Issued For Request Only FIIT 1 0 0 0 book
- Diamond : A Paradox Logic
Hellerstein Nathaniel S.
Singapore : World Scientific, 1997 . - 257 s
matematická logika matematické symboly paradox
monografiaFaculty Available Inaccesible Issued For Request Only FEI 0 0 0 1 book
- Logic for applications / [aut.] Nerode,Anil; Shore,Richard A
Nerode Anil Shore Richard A
2.ed.
New York : Springer Verlag, 1997 . - 456 s
ISBN 0-387-94893-7
matematická logika
učebnicaFaculty Available Inaccesible Issued For Request Only FEI 0 0 0 1 book
- Fuzzy logic : Einführung in theorie und anwendungen / [aut.] Bothe,Hans-Hendrich
Bothe Hans-Hendrich
1.vyd.
Berlin : Springer Verlag, 1993 . - 225 s
ISBN 3-540-56166-8
matematická logika fuzzy logiky spracovanie dát fuzzy riadenie fuzzy systémy
monografiaFaculty Available Inaccesible Issued For Request Only FIIT 1 0 0 0 book
- Logic for information technology / [aut.] Galton,Antony
Galton Antony
1.vyd.
Chichester : John Wiley & Sons, 1990 . - 290 s
ISBN 0-471-92777-5
matematická logika spracovanie dát logické systémy
monografiaFaculty Available Inaccesible Issued For Request Only FEI 0 0 0 1 book
- Numbers, groups and codes / [aut.] Humphreys,J.F.; Prest,M.Y
Humphreys James F Prest M.Y
1.vyd.
Cambridge : Cambridge University Press, 1989 . - 288 s
ISBN 0-521-35938-4
teória grúp matematická logika samoopravné kódy Booleove algebry
monografiaFaculty Available Inaccesible Issued For Request Only FEI 0 0 0 1 book