Автор работы: Пользователь скрыл имя, 29 Ноября 2011 в 21:25, реферат
Логика - это наука о формах и способах мышления. Одна из главных задач логики — определить, как прийти к выводу из предпосылок (правильное рассуждение) и получить истинное знание о предмете размышления, чтобы глубже разобраться в нюансах изучаемого предмета мысли и его соотношениях с другими аспектами рассматриваемого явления. Логика служит базовым инструментом почти любой науки.
Введение
История логики
Основы логики
Базовые логические элементы компьютера
Логические операции и таблицы истинности
Основные законы логики
Логика в информатике
4.1. Логика в программировании
4.2. Логика и искусственный интеллект
4.3. Логика и логическое программирование
4.4. Логика в базах данных
5. Заключение
6. Список используемых источников
Простые
условия в языке SQL имеют вид равенств
и неравенств типа имя = значение, где имя
- это имя столбца в таблице, а значение
- конкретное числовое или символьное
значение (в зависимости от типа столбца
в таблице).
Сложносоставные
условия в запросах на языке SQL записываются
с использованием логических связок AND
(И), OR (ИЛИ), NOT (НЕ), выражающих логические
высказывания - условия поиска информации
в реляционных базах данных.
С логической точки зрения условия поиска в запросах SQL полностью соответствуют исчислению высказываний (с равенствами) - полностью эквивалентно логике высказываний Аристотеля - автора первого в истории учебника по логике и первых трех законов логики (законов Аристотеля).
5. Заключение
Логика
в информатике используется в
поиске информации в Интернет, в базах
данных, в базах знаний, в алгоритмах, алгоритмизации
и во всех языках программирования.
В отличие
от естественных наук, компьютерные науки
получили большой стимул от широкого
и непрерывного взаимодействия с
логикой. Особую роль в компьютерных науках
играют доказательные методы разработки
алгоритмов и программ с доказательствами
их правильности.