Логіка

Спочатку логіка виникла як частина філософії, пізніше вона набула значного розвитку в математиці. Сьогодні вона також має важливе застосування в інформатиці.

У системах Знаємо це основні завдання з логіки належать до розділу математики: логіка на Znaiemo matematyku. Там ви знайдете математичні значення логічних операцій, модифікації логічних виразів, квантори, докази та інші теми.

У Знаємо інформатику ми зосереджуємося на тих частинах логіки, які близькі до програмування та вирішення проблем:

• Логічні сполучники та таблиці істинності – основні логічні сполучники (and = і також, or = або) та їх використання.
  • Логічні твердження – написані словами твердження та їх оцінка.
  • Логічна дедукція – висновки з кількох тверджень, розв’язування логічних задач з текстами.
  • Логічні задачі на ґратці – логічні задачі з символами та цифрами (Судоку, Паркани).