Тема: Принцип резолюции в исчислении высказываний и логике предикатов и его модификации

  • Вид работы:
    Курсовая работа (п)
  • Предмет:
    Информатика, ВТ, телекоммуникации
  • Язык:
    Русский
    ,
    Формат файла:
    MS Word
    144,33 kb
    Скачать
  • Опубликовано:
    2008-04-17
Вы можете узнать стоимость помощи в написании студенческой работы.
Помощь в написании работы, которую точно примут!

Похожие работы

 
  • Философия
    ...1970) и его концепция логического атомизма, Альфред Айер (1910-1989), Джордж Мур (1873 – 1958).
    Поскольку логическая Ф. производится на основе формальной логики , постольку исчисление высказываний (и предикатов ) всегда предполагает лишь имитацию...
    СкачатьСкачать документ Читать onlineЧитать online
  • Лекции по информатике
    Для того, чтобы при исчислении предикатов можно было манипулировать значениями переменных, потребовалось ввести понятие “квантор”.
    2 — развивался в рамках традиционной логики и был направлен на сохранение универсальности , свойственной языку...
    СкачатьСкачать документ Читать onlineЧитать online
  • Инженерия знаний
    ...логических языков программирования, основано на исчислении предикат . Язык многократного исчисления предикатов 1-го порядка.
    Из (3) и (5) , выполняя ь подстановку {m/n}=> c(m,n) (6) Из (4) и (6) без подстановок => 0. Принцип резолюций в Прологе.
    СкачатьСкачать документ Читать onlineЧитать online
  • Философия и методология науки
    В основе этой картины лежал принцип : началом всего является число. Пифагорейцы считали числовые отношения ключом к пониманию мироустройства.
    Наиболее яркое и глубокое отражение оно нашло в учениях Фараби и его последователей ал-Хорезми, Фергани...
    СкачатьСкачать документ Читать onlineЧитать online
  • Ответы к экзамену по специальности Информатик-технолог
    Логические исчисления - в большенстве случаев ограничиваются исчислением предикатов первого порядка.
    ...который существует для представления высказываний о внешне мире, а не для представления проблемно-ориентрованных моделей внешнего мира.
    СкачатьСкачать документ Читать onlineЧитать online
Не нашли материал для своей работы?
Поможем написать уникальную работу
Без плагиата!