Понятие языка программирования

Логическое программирование

Идея использования математической логики в качестве языка программирования была предложена Р. Ковальским в Англии в начале 70х годов прошлого века, а именно логическое программирование возникло как следствие успехов в автоматическом доказательстве теорем.
Основой математической логики является обеспечение определенной системы формальных обозначений для отображения соображений. Одним из разделов математической логики является логика высказываний.

Логика высказываний - раздел математической логики, изучающий высказывания, рассматриваемые с точки зрения их логических значений - истинности и ложности - и логических операций над ними.

Основными элементами логики высказываний являются высказывания и операции над ними. В логике высказываний рассматривают только утвердительные предложения, которые могут быть только истинные или ложные. Каждое такое предложение называют высказыванием; например, «Роман - ученик 11 класса», «Ирина не учит информатики». Приведенные высказывания называются простыми. Из простых высказываний можно строить составные конструкции: «Если Роман ученик 11 класса, то он изучает информатику», «Ирина ходит в школу и не учит Информатику».

В логике высказываний используют такие логические связи:
• «нет» - отрицание;
• «... и ...» - конъюнкция;
• «... или ...» - дизъюнкция;
• «если ... то ... »- заключение (импликация);
• «... тогда и только тогда ...» - эквивалентность.

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

Продолжение статьи: ч.1 Продолжение статьи: ч.2 Продолжение статьи: ч.3 Продолжение статьи: ч.4 Продолжение статьи: ч.5 Продолжение статьи: ч.6 Продолжение статьи: ч.7 Продолжение статьи: ч.8 Продолжение статьи: ч.9 Продолжение статьи: ч.10 Продолжение статьи: ч.11

Другие статьи по теме:

- Информационная модель
- Интегрированная программная среда поддержки дистанционного обучения «МатЛог»
- Case-технология проектирования программного обеспечения информационных систем
- Eclipse
- Средства быстрой разработки прикладных программ

Другие голосования

Приглашаем Вас обменяться кнопочками! Обращайтесь к администратору.

• Как выбрать браузер
• Средства структурного анализа и проектирования систем
• Классификация case-средств
• Case-технология проектирования программного обеспечения информационных систем
• Технология intranet
• Технологии Internet
• Средства доступа к базам данных
• Средства быстрой разработки прикладных программ
• Объектно-ориентированный подход к созданию программных средств
• Этапы проектирования при разработке программного продукта