Nalezeno 6 výsledků hledání
Přejít na rozšířené vyhledávání
- 18. 1. 2011 21:24
- Fórum: NTIN090 Základy složitosti a vyčíslitelnosti
- Téma: Zápisky ze cvičení [2010/2011]
- Odpovědi: 2
- Zobrazení: 3536
Re: Zápisky ze cvičení [2010/2011]
Když jsem se připravoval na zápočet, udělal jsem si pár poznámek. Je tam hlavně převoditelnost problémů z cvik, pár odvození PRF a pak příklady na smn funkci a větu o rekurzi (u těch ale negarantuju, že to je správně).
- 15. 1. 2011 23:09
- Fórum: NTIN090 Základy složitosti a vyčíslitelnosti
- Téma: Co znamená i-té slovo
- Odpovědi: 1
- Zobrazení: 2098
Re: Co znamená i-té slovo
Je to jeho způsob jednoznačného převodu mezi binárními řetězci a přirozenými čísly. Viz strana 8 v jeho poznámkách: Mějme binární řetězec w a přiřaďme mu přirozené číslo jehož binární zápis je 1w. Prázdnému řetězci ε tak odpovídá 1, řetězci 0 odpovídá číslo 2, řetězci 01 odpovídá číslo 5 a tak podob...
- 2. 9. 2008 12:13
- Fórum: 2007
- Téma: modus ponens jako zacatek dukazu
- Odpovědi: 4
- Zobrazení: 2839
Re: modus ponens jako zacatek dukazu
A co treba zahajit ten dukaz takto:
Kód: Vybrat vše
1) |-(A -> B) -> (A -> B) (v1)
2) A, A -> B |- B 2x VoD
- 27. 1. 2007 15:40
- Fórum: 2006
- Téma: Zkouška 26.1.2007 - Král'
- Odpovědi: 5
- Zobrazení: 3030
- 25. 1. 2007 11:04
- Fórum: 2006
- Téma: 23.1. Stara
- Odpovědi: 5
- Zobrazení: 3959
Prave jsem se vratil z ustni zkousky - zkousejici: Tomas Barta (zkousi vsechny z paralelky Z) Tady mate sadu, kterou jsem si vytahl: 1. Napiste definici klicoveho pojmu konvergentni rada . 1. Napiste definice pojmu: nerostouci posloupnost , suda funkce a derivace zleva v bode ; a zneni vet Bolzano-C...
- 23. 1. 2007 15:16
- Fórum: 2006
- Téma: 23.1. Stara
- Odpovědi: 5
- Zobrazení: 3959