Математическая логика в информатике
Реферат, 25 Февраля 2013, автор: пользователь скрыл имя
Описание
Логика - это наука о формах и способах мышления. Одна из главных задач логики — определить, как прийти к выводу из предпосылок (правильное рассуждение) и получить истинное знание о предмете размышления, чтобы глубже разобраться в нюансах изучаемого предмета мысли и его соотношениях с другими аспектами рассматриваемого явления. Логика служит базовым инструментом почти любой науки.
Содержание
Введение
Основы логики
Базовые логические элементы компьютера
Логические операции и таблицы истинности
Основные законы логики
Логика в информатике
2.1. Логика в программировании
2.2. Логика и искусственный интеллект
2.3. Логика и логическое программирование
2.4. Логика в базах данных
Заключение
Список используемой литературы