Основы логики

Логика - это наука о формах и способах мышления. Одна из главных задач логики — определить, как прийти к выводу из предпосылок (правильное рассуждение) и получить истинное знание о предмете размышления, чтобы глубже разобраться в нюансах изучаемого предмета мысли и его соотношениях с другими аспектами рассматриваемого явления. Логика служит базовым инструментом почти любой науки.

Введение
История логики
Основы логики
Базовые логические элементы компьютера
Логические операции и таблицы истинности
Основные законы логики
Логика в информатике
4.1. Логика в программировании
4.2. Логика и искусственный интеллект
4.3. Логика и логическое программирование
4.4. Логика в базах данных
5. Заключение
6. Список используемых источников