Matfyz Wiki
Diff for ''
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| {{předmět|Výroková a predikátová logika|Josef Mlček|NAIL062}} | # Stáž v oddělení Řízení IT rizik - Praha |
| Line 3: | Line 3: |
| Výroková logika, normální tvary formulí, predikátová logika, věty o úplnosti výrokové a predikátové logiky, prenexní tvary formulí, modely teorií 1. řádu. Meze formální metody, Gödelovy věty. | <{ForumPost(poster="careermarket", timestamp=2016-07-21 07:23:14)}> ** Nejde Vám PwC a IT dohromady? Hledáme nové kolegy na stáže v našem oddělení Řízení IT rizik** Jako součást našeho týmu rozvinete své znalosti a zkušenosti v oblastech jakou jsou: • mapování business procesů, testování interního kontrolního prostředí v oblasti IT, posouzení rizik • revize implementace a migrace ERP systémů (typicky SAP), řízení nebo posouzení IT projektů • posouzení zabezpečení síťové infrastruktury a datových skladů, penetrační testování Jako člen tohoto týmu budete využívat procesní a technické znalosti a zkušenosti pro zhodnocení kontrolního prostředí v auditovaných společnostech. Kromě této činnosti můžete poskytovat i řadu dalších konzultačních služeb v oblasti procesních kontrol, informačních systémů a zpracování dat přímo našim klientům. **Požadavky** • student/ka 3. - 5. ročníku studia na vysoké škole • přehled a zájem o podnikového oblast IT - fyzická i logická infrastruktura, procesy, rizika, IT bezpečnost a hrozby • analytické a logické myšlení • výborná znalost češtiny a dobrou znalost angličtiny • ochota cestovat v rámci ČR/regionu [http://careermarket.cz/hledam-uplatneni ... il?id=1889](http://careermarket.cz/hledam-uplatneni/inzeraty/detail?id=1889) <{/ForumPost}> |
| Line 5: | Line 24: |
| ## Studijní materiál Mlček (2009-?) ## * [Mlček materiály k přednášce](http://kti.mff.cuni.cz/%7Emlcek/) [požadavky ke zkoušce, celkem brutus](http://kti.mff.cuni.cz/%7Emlcek/EXAM.pdf) * [zápisky Pilát cvika (2009)](http://zaantar.eu/index.php?page=Studijní+materiály) * [zápisky Mlček cvika (2008)](http://www.martinvseticka.eu/index.php?sekce=browse&page=178) * [zápisky,řešené příklady (2009)](http://www.marketa.najevisti.info/studium.php) * [Gödelova věta lidsky](http://cs.wikipedia.org/wiki/Gödelovy_věty_o_neúplnosti) ## Studijní materiál Štěpánek (?-2009) ## * [On-line výukové materiály](http://ktiml.ms.mff.cuni.cz/index.php?select=teaching§ion=sources&lang=czech) - slajdy z přednášky, skripta * [Stránky cvika Petr Olmer](http://kti.mff.cuni.cz/%7Eolmer/vyuka/log03.html) - příklady na procvičení * [Studijní materiál na MUNI](http://is.muni.cz/el/1433/podzim2006/MA007/um/) * [Matematická logika na ČVUT (Demlová)](http://math.feld.cvut.cz/demlova/teaching/mlo_vyuka.html) * [Základní kurz logiky (MUNI)](http://www.phil.muni.cz/fil/logika/uvod.php) * [Výcuc ze skript prof. Štěpánka](http://s0cketka.blogspot.com/2006/05/souhrn-z-logiky.html) (tahák, PDF) * [Příklady](http://vpl.xf.cz/doku.php?id=start) * [Evýuka](http://snug.ic.cz/index.htm) [Category:Matematika pro informatiky](Category:Matematika%20pro%20informatiky) |