Українська
Англійська
Інформатика
Znaiemo tse
Арифметика
Дроби, відсотки, десяткові числа
Геометрія
Елементарна алгебра
Функція
Одиниці вимірювання та час
Дискретна математика
Фінансова грамотність
Pexeso
Крок за кроком
Письмова відповідь
Графікобудівник
Розуміння
Визначення
Переміщення
Решітка
Розділення
Зламаний калькулятор
Роботи
Стрілялка
Чудовиська
Перегони
Території
Командна гра
Мій обліковий запис
Вийти з системиФільтр за класом
Вправи
Логіка – 3 клас
Логіка вивчає способи виведення висновків з припущень. Логіка спочатку виникла як частина філософії, пізніше значно розвинулася у математиці. Сьогодні вона має важливе застосування також в інформатиці.
Основа математичного уявлення про логіку – це висловлювальна логіка, в якій ми працюємо з висловлюваннями (твердження, які можуть бути або істинні, або хибні) та логічними зв’язками (та, або, заперечення). Розширенням висловлювальної логіки є предикатна логіка, в якій додатково використовуються квантифікатори (існує, для кожного).
Огляд тем з логіки, доступних на Знаємо математику:
| Тема | Опис |
|---|---|
| Логічні вислови | Усний запис логічних висловів |
| Логіка: поняття та позначення | Запис висловів за допомогою логічних зв’язок \wedge, \vee, \neg, \Rightarrow, \Leftrightarrow |
| Оцінювання логічних висловів | Оцінка правдивості логічних висловів, записаних за допомогою логічних операцій |
| Виправлення логічних висловів | Виправлення та спрощення логічного вислову за правилами роботи з логічними операціями |
| Квантифікатори | Збагачення логічних висловів квантифікаторами \exists, \forall |
| Докази | Точні математичні процедури для перевірки правильності логічних висловів |
У рамах системи Знаємо ви також знайдете логіку в інформатиці: логіка на Знаємо інформатику. Там акцент зроблений на логічні зв’язки, використовувані при програмуванні та розв’язанні логічних завдань.
Вибір
Швидке практикування шляхом вибору з двох варіантів.
Морська логіка (легке) • FS4
завдання: 30
Зазвичай займає: 5 min
