Matfyz Wiki
Diff for ''
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| { "Matematika": { "∩": "∩", "∪": "∪", "∧": "∧", "∨": "∨", "∞": "∞", "∑": "∑", "∏": "∏", "∈": "∈", "∉": "∉", "∅": "∅", "∀": "∀", "∃": "∃", "∄": "∄", "⇔": "⇔", "⇐": "⇐", "⇒": "⇒", "¬": "¬", "💡": "💡", "☀": "☀", "🎓": "🎓", "−": "−", "×": "×", "÷": "÷", "≈": "≈", "≠": "≠", "⊂": "⊂", "⊆": "⊆", "≡": "≡", "≅": "≅", "<": "<", ">": ">", "≤": "≤", "≥": "≥", "±": "±", "¹" : "¹", "₁" : "₁", "²" : "²", "₂" : "₂", "³" : "³", "₃" : "₃", "⁴" : "⁴", "⁵" : "⁵", "⁶" : "⁶", "⁷" : "⁷", "⁸" : "⁸", "⁹" : "⁹", "⁰" : "⁰", "½" : "½", "ᵢ" : "ᵢ", "ⱼ" : "ⱼ", "ₖ" : "ₖ", "ₘ" : "ₘ", "ₛ" : "ₛ" }, "Greek": { "α" : "α", "β" : "β", "γ" : "γ", "δ" : "δ", "ε" : "ε", "θ" : "θ", "π" : "π", "ró" : "ρ", "σ" : "σ", "Gama" : "Γ", "χ" : "χ", "ω" : "ω", "Κ" : "Κ", "Σ" : "Σ" }, "Symboly": { "−": "−", "—": "—", "°": "°", "′": "′", "″": "″", "←": "←", "→": "→", "↓": "↓", "↑": "↑", "„“" : "„“", "»«" : "»«", "#" : "#", "@" : "@", "|" : "|", "~" : "~", "&": "&", "§": "§", "•" : "•", "·": "·", "…" : "…", "€" : "€", "$" : "$" }, "Diakritika": { "Æ" : "Æ", "æ" : "æ", "À" : "À", "à" : "à", "Â" : "Â", "â" : "â", "Ä" : "Ä", "ä" : "ä", "Å" : "Å", "å" : "å", "Ç" : "Ç", "ç" : "ç", "È" : "È", "è" : "è", "É" : "É", "é" : "é", "Ê" : "Ê", "ê" : "ê", "Ë" : "Ë", "ë" : "ë", "Î" : "Î", "î" : "î", "Ï" : "Ï", "ï" : "ï", "Ô" : "Ô", "ô" : "ô", "Ö" : "Ö", "ö" : "ö", "Ø" : "Ø", "ø" : "ø", "Ù" : "Ù", "ù" : "ù", "Û" : "Û", "û" : "û", "Ü" : "Ü", "ü" : "ü", "Ÿ" : "Ÿ", "ÿ" : "ÿ", "Œ" : "Œ", "œ" : "œ" } } |
{{předmět|Výroková a predikátová logika|Josef Mlček|NAIL062}} 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. ## 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) |