|
Понятие языка программированияЛогическое программирование Идея использования математической логики в качестве языка программирования была предложена Р. Ковальским в Англии в начале 70х годов прошлого века, а именно логическое программирование возникло как следствие успехов в автоматическом доказательстве теорем. Основой математической логики является обеспечение определенной системы формальных обозначений для отображения соображений. Одним из разделов математической логики является логика высказываний. Логика высказываний - раздел математической логики, изучающий высказывания, рассматриваемые с точки зрения их логических значений - истинности и ложности - и логических операций над ними. Основными элементами логики высказываний являются высказывания и операции над ними. В логике высказываний рассматривают только утвердительные предложения, которые могут быть только истинные или ложные. Каждое такое предложение называют высказыванием; например, «Роман - ученик 11 класса», «Ирина не учит информатики». Приведенные высказывания называются простыми. Из простых высказываний можно строить составные конструкции: «Если Роман ученик 11 класса, то он изучает информатику», «Ирина ходит в школу и не учит Информатику». В логике высказываний используют такие логические связи: • «нет» - отрицание; • «... и ...» - конъюнкция; • «... или ...» - дизъюнкция; • «если ... то ... »- заключение (импликация); • «... тогда и только тогда ...» - эквивалентность. Логическое программирование - запись решения задачи языке математической логики в виде набора высказываний, отношений между высказываниями и правил вывода одних высказываний из других. Продолжение статьи: ч.1 Продолжение статьи: ч.2 Продолжение статьи: ч.3 Продолжение статьи: ч.4 Продолжение статьи: ч.5 Продолжение статьи: ч.6 Продолжение статьи: ч.7 Продолжение статьи: ч.8 Продолжение статьи: ч.9 Продолжение статьи: ч.10 Продолжение статьи: ч.11 Другие статьи по теме: - Информационная модель- Интегрированная программная среда поддержки дистанционного обучения «МатЛог» - Case-технология проектирования программного обеспечения информационных систем - Eclipse - Средства быстрой разработки прикладных программ |
|
2006-2024 © SMTI.RU Главная страница | Связаться с нами |