Prolog - Prednáška č. 3
Created: 2009-03-06 - 19:29
Strana 1
Strana 2
Strana 3
Obsah: unfikačné algoritmy - príklady, martelli-montanari (herbrandov) algoritmus, výpočtový strom
- Všetky predmety
- Všetky príspevky
- Nezaradené
- 1. ročník
- PAZ1a / Programovanie, Algoritmy, Zložitosť 1
- PAZ1b / Programovanie, Algoritmy, Zložitosť 2
- ALG1a / Algebra
- MAI1a / Matematická analýza pre informatikov 1
- IFY1b / Fyzika pre informatikov 2
- PRP2 / Princípy počítačov
- KOI / Kombinatorika pre informatikov
- MAI1b / Matematická analýza pre informatikov 2
- ILAG / Lineárna algebra a geometria pre informatikov
- 2. ročník
- DBS1a / Databázové systémy 1
- OSY1 / Operačné systémy
- UGR1 / Úvod do počítačovej grafiky
- PaZ1c / Programovanie, Algoritmy, Zložitosť 3
- UNS1 / Úvod do neurónových sietí
- PRR1a / Rýchlostné programovanie
- TVY / Teória vypočítateľnosti (algoritmov)
- DBS1b / Databázové systémy 2
- AFJ1a / Automaty a formálne jazyky 1
- SWI1a / Softvérové inžinierstvo 1
- LOP1 / Logické programovanie
- PSE1 / Počítačové siete
- PFAJ4 / Odborný anglický jazyk pre prírodné vedy
- SLOa / Symbolická logika 1
- 3. ročník
- FUN1 / Funkcionálne programovanie
- SPR1a / Systémové programovanie 1
- SWI1b / Softvérové inžinierstvo 2
- AFJ1b / Automaty a formálne jazyky 2
- UKR1 / Úvod do kryptológie
- JAV1a / Programovanie v Jave pre pokročilých 1
- TEL / Seminár z informatiky s Gerardom Telom
- TYS / Typografické systémy
- SPR1b / Systémové programovanie 2
- BSI1b / Seminár z informatiky 2
- ASU1 / Algoritmy a štruktúry údajov
- JAV1b / Programovanie v Jave pre pokročilých 2
- BIFM1 / Formálne modely výpočtových procesov A (štátnica z matickej časti)
- 4. ročník
- 5. ročník
