Přeskočit na obsah
Toggle navigation
English
Odhlásit
Jednotné přihlášení NTK
Vše
Název
Autor
Předmětové heslo
LCC signatura
Stará signatura
ISBN/ISSN
Tag
Systémové číslo
Hledat
Pokročilé vyhledávání
PSH
Seřadit podle
Počet výsledků
Abecedně
377
matematická logika
102
matematika
64
umělá inteligence
42
teorie množin
35
analytická geometrie
33
počítače
27
funkce
27
teorie důkazů
24
programování
23
algebra
23
kombinatorika
19
informatika
19
logické programování
19
softwarové inženýrství
18
teorie čísel
17
rovnice
16
diferenciální počet
16
matematická analýza
16
reálná čísla
15
komplexní čísla
15
teorie pravděpodobnosti
13
limita funkce
13
posloupnosti a řady
13
software
13
teorie modelů
12
algebraické rovnice
12
logika
12
spojitost funkce
11
integrální počet
10
Gödelova teorie
10
aritmetika
10
učící se systémy
9
formální jazyky
8
algoritmizace
8
geometrie
8
nekonečné řady
8
teorie grafů
8
zpracování přirozených jazyků
7
formální gramatiky
7
matematická lingvistika
7
matematické programování
7
numerická analýza
7
vektorová algebra
7
zpracování dat
6
Booleova algebra
6
diferenciální rovnice
6
funkce jedné reálné proměnné
6
matematické modely
6
programovací jazyky
6
teorie vyčíslitelnosti
6
výpočetní složitost
5
celá čísla
5
logiky vyšších řádů
5
matematická statistika
5
simulace a modelování
5
stereometrie
5
svazy
5
teorie rekurze
4
automaty
4
diferenciál
4
fuzzy logika
4
kryptografie
4
logika prvého řádu
4
planimetrie
4
přirozená čísla
4
rekurzivní funkce
4
reprezentace znalostí
4
sémantika programovacích jazyků
4
teorie složitosti
4
výrokový kalkul
3
algebraické struktury
3
aplikovaná matematika
3
filozofie
3
historie
3
informační systémy
3
intuicionistické logiky
3
teorie kategorií
3
teorie programů
3
teorie rozhodování
3
topologie
3
transcendentní rovnice
3
výpočetní technika
3
znalostní systémy
3
číselné soustavy
3
řízení v reálném čase
2
algebraická logika
2
architektura výpočetních systémů
2
automatická dedukce
2
automatizované řešení problémů
2
databázové systémy
2
databázové systémy relační
2
filozofie vědy
2
goniometrie
2
hybridní počítače
2
integrál
2
kognitivní procesy
2
kombinatorické logiky
2
konečná tělesa
2
kvadratické rovnice
2
kybernetika
2
lineární nerovnosti
2
lineární programování
2
lineární rovnice
2
predikátový kalkul
2
relační algebra
2
robotika
2
symbolické výpočty
2
symetrie
2
sémantický web
2
teorie algoritmů
2
teorie informace
2
teorie poznání
2
umění
2
vyhledávání informací
2
vyhledávání v datech
2
vícehodnotové logiky
2
vědomí
2
číselné obory
2
šifrování
1
Petriho sítě
1
Taylorův rozvoj
1
UML
1
algebraická geometrie
1
algebraická topologie
1
algebraické křivky
1
analýza časové řady
1
aproximace
1
biologie
1
didaktika
1
diferenciální rovnice obyčejné
1
diferenční rovnice
1
dělitelnost
1
funkce komplexní proměnné
1
funkce více reálných proměnných
1
funkcionální programování
1
fuzzy množina
1
gnozeologie
1
grafy
1
hierarchie rekurzí
1
internet
1
intuice
1
jazykověda
1
kategorická logika
1
klasická logika
1
konečné automaty
1
konvergence
1
logické funkce
1
lékařství
1
matematická derivace
1
maticová algebra
1
nestandardní analýza
1
náhodné grafy
1
operační systémy
1
osobnosti
1
paradoxy klasické teorie množin
1
paralelní zpracování
1
posloupnosti funkcí
1
pravděpodobnostní logiky
1
programovací jazyk Python
1
přirozené jazyky hybridní
1
racionální čísla
1
stochastické procesy
1
systémy
1
systémy řízení báze dat
1
teorie her
1
teorie systémů
1
teorie typů
1
termodynamika
1
uspořádané množiny
1
vektorové prostory
1
vizualizace
1
znalostní management
1
čas
1
řešení problému
zavřít
×
Načítá se...