Diff for ''

Revision 22
Author:
black
Time:
2022-11-11 20:34
Revision 24
Time:
2024-09-18 21:03
Comment:
Automatizovaná konverze z MediaWiki do Markdownu
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&section=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)