Matematická logika se skládá ze dvou hlavních součástí - výrokové logiky (zabývající se výroky) a predikátové logiky (zabývající se výrokovými formami - neplést s výrokovými formulemi !).
Logika jako taková se stala nástrojem pro výstavbu matematiky a představuje (mimo jiné) prostředek pro přesné dokazování matematických vět.
V rámci předmětu KMT/ML se naučíte logicky myslet, řešit slovní úlohy (a obecně analyzovat slovní text) s využitím možností, které nám matematická logika nabízí. Řekneme si něco o dokazování matematických vět, naučíme se některá odvozovací pravidla, budeme se věnovat množinám a spoustě dalšímu.
Last updated:
10.02.2022
