Filtr podle ročníku
Cvičení
main_page-nova_doplnovackaЛогіка – header-6_class_menu
Логіка вивчає способи виведення висновків з припущень. Логіка спочатку виникла як частина філософії, пізніше значно розвинулася у математиці. Сьогодні вона має важливе застосування також в інформатиці.
Основа математичного уявлення про логіку – це висловлювальна логіка, в якій ми працюємо з висловлюваннями (твердження, які можуть бути або істинні, або хибні) та логічними зв’язками (та, або, заперечення). Розширенням висловлювальної логіки є предикатна логіка, в якій додатково використовуються квантифікатори (існує, для кожного).
Огляд тем з логіки, доступних на Знаємо математику:
| Тема | Опис |
|---|---|
| Логічні вислови | Усний запис логічних висловів |
| Логіка: поняття та позначення | Запис висловів за допомогою логічних зв’язок \wedge, \vee, \neg, \Rightarrow, \Leftrightarrow |
| Оцінювання логічних висловів | Оцінка правдивості логічних висловів, записаних за допомогою логічних операцій |
| Виправлення логічних висловів | Виправлення та спрощення логічного вислову за правилами роботи з логічними операціями |
| Квантифікатори | Збагачення логічних висловів квантифікаторами \exists, \forall |
| Докази | Точні математичні процедури для перевірки правильності логічних висловів |
У рамах системи Знаємо ви також знайдете логіку в інформатиці: логіка на Знаємо інформатику. Там акцент зроблений на логічні зв’язки, використовувані при програмуванні та розв’язанні логічних завдань.
