Kategorie:Teoretická informatika

F

• Formální jazyky (4 kat., 58 str.)

G

• Generátory pseudonáhodných čísel (10 str.)

P

• Pseudonáhodnost (2 str.)

T

• Teorie algoritmů (3 str.)
• Teorie složitosti (1 kat., 7 str.)
• Třídy složitosti (1 kat., 10 str.)

V

• Vyčíslitelnost (3 kat., 17 str.)

• Teoretická informatika

A

• Altermagnetismus
• Aproximace

B

• Paul Benioff
• Bisimulace

C

• CAP teorém

E

• Entita (informatika)

G

• Generátor pseudonáhodných čísel

K

• Kategorická logika
• Koncová rekurze

L

• Limity výpočetního výkonu

M

• Modální μ-kalkulus

N

• Nerozhodnutelný problém

P

• Problém P versus NP
• Pseudonáhodná čísla
• Pseudonáhodnost

S

• Simulační předuspořádání
• Spintronika

T

• Teorie automatů