Логіка
Спочатку логіка виникла як частина філософії, пізніше вона набула значного розвитку в математиці. Сьогодні вона також має важливе застосування в інформатиці.
У системах Знаємо це основні завдання з логіки належать до розділу математики: логіка на Znaiemo matematyku. Там ви знайдете математичні значення логічних операцій, модифікації логічних виразів, квантори, докази та інші теми.
У Знаємо інформатику ми зосереджуємося на тих частинах логіки, які близькі до програмування та вирішення проблем:
- Логічні сполучники та таблиці істинності – основні логічні сполучники (and = і також, or = або) та їх використання.
- Логічні твердження – написані словами твердження та їх оцінка.
- Логічна дедукція – висновки з кількох тверджень, розв’язування логічних задач з текстами.
- Логічні задачі на ґратці – логічні задачі з символами та цифрами (Судоку, Паркани).