Математическая логика в информатике

Автор работы: Пользователь скрыл имя, 25 Февраля 2013 в 21:34, реферат

Описание

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

Содержание

Введение
Основы логики
Базовые логические элементы компьютера
Логические операции и таблицы истинности
Основные законы логики
Логика в информатике
2.1. Логика в программировании
2.2. Логика и искусственный интеллект
2.3. Логика и логическое программирование
2.4. Логика в базах данных
Заключение
Список используемой литературы

Работа состоит из  1 файл