Matematická štátnica - prehľad
Created: 2010-06-15 - 10:59
Formálne modely výpočtových procesov A
Toto je matematická štátnica z informatiky. Spísal som niekoľko pojmov, ktoré boli zadané ku tematickým okruhom v AIS-e (ked si pozriete okruhy štátnej skúšky, či čo to tam je...). Musím upozorniť, že toto nie sú žiadne študijné materiály, skriptá alebo poznámky. Sú to nesúvislé (bez ladu a skladu) výpisky a definície niektorých pojmov. Ak chcete z toho niečo mať, odporúčam zobrať do ruky skriptá a poznámky a priebežne si pozerať čo daný pojem znamená, ako bol definovaný, poprípade pri vetách nejaký ten dôkaz, dôsledky a pod. Snažil som sa byť čo najviac formálny, ale samozrejme, pri takomto druhu vypisovania sa to nedá zachovať, takže kde sa dá, som dopísal (ceruzkou = komentárom) zdroj, z ktorého som čerpal a ktorý je vhodné si pozrieť pre úplné pochopenie tematiky. Keďže sú tie zoznamy okruhov v AIS-e už zopár rokov... neaktualizované, nevedel som si dať úplne rady s okruhom Výpočtová logika (Symbolická logika), preto prikladám len veci, ktoré som si pripravil na vtedajšiu skúšku.
Takže... učeniu zdar :D:D:D a s niektorými sa vidím 1. júla na štátnici...
Formálne základy informatiky
Matematická analýza
- (chyba pri def. celych cisel - samozrejme tam ma byt jednoprvkova mnozina {0} a nie {1})
Automaty a formálne jazyky
Teória vypočítateľnosti
- (chyba pri def. funkcie vzniknutou minimalizaciou - ak platia podmienky bodu 1 tak hodnota fcie h je najmenesie take y a nie "nie je definovana")
Výpočtová logika (Symbolická logika)