Poznámky k přednášce NTIN090 Úvod do složitosti a vyčíslitelnosti

Transkript

Poznámky k přednášce NTIN090 Úvod do složitosti a vyčíslitelnosti

                                    

Podobné dokumenty

Aplikovaná matematika a fyzikáln´ı výpocty

Aplikovaná matematika a fyzikáln´ı výpocty Vektorový prostor je neprázdná množina V , pro jejı́ž prvky (vektory) jsou definovány operace ”násobenı́ reálným čı́slem (skalárem)”a ”sčı́tánı́ vektorů”. Tyto operace musı́ navı́c mı...

Více

Logické vyplývání - Filosofický časopis

Logické vyplývání - Filosofický časopis možná to tak Tarski původně sice myslel, ale podle všeho tento přístup později opustil. Tím spíše pak ti, kteří rozvinuli teorii modelů do její dnešní podoby. John MacFarlane o Etchemendyho dilemat...

Více

Sbírka příkladů k předmětu Fyzika a přístrojová - EnviMod

Sbírka příkladů k předmětu Fyzika a přístrojová - EnviMod naopak příliš velká. Příklad: místo metru může být vhodné použít menší jednotku délky – např. mikrometr, nebo naopak větší jednotku délky - km. (S tím je spojeno převádění jednotek, což je rozebírá...

Více