Лекции по программированию

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

Программа, написанная на языке Prolog, состоит из пяти основных разделов: раздел описания доменов (типов объектов), раздел внутренней базы данных, раздел описания предикатов, раздел описания предложений и раздел описания цели. Ключевые слова domains, facts (database), predicates, clauses и goal отмечают начала соответствующих разделов. Назначение этих разделов таково

добавлено: 05.06.2014
Логические языки программирования

Описание предметной области в логической программе осуществляется, фактически, с использованием исчисления предикатов первого порядка. Выполнение же логической программы это вывод формулы или проверка этого вывода. 

добавлено: 05.06.2014
Программирование Common Lisp

Common Lisp является одним из многочисленных потомков языка Lisp, разработанного Дж. Маккарти в 1958 г. В основу языка Lisp было положено лямбда-исчисление. 

добавлено: 05.06.2014
Теория рекурсивных функций

Возможность определять рекурсивные функции – характерная и неотъемлемая особенность функционального программирования. На первый взгляд, кажется, что в лямбда-исчислении нет способа сделать это. 

добавлено: 04.06.2014
Представление наборов данных

В математике и программировании большую роль играют объекты-агрегаты – пары (тройки, кортежи), векторы, массивы, списки и т.п. Подобные объекты также могут быть реализованы с использованием лямбда-термов.

добавлено: 04.06.2014
Логические константы и операции

Выражение вида ЕСЛИ L TO M ИНАЧЕ N (в качестве примера таких конструкций в языках программирования можно упомянуть тернарную операцию в языке С) можно рассматривать как функцию, которая в зависимости от значения предиката L «выбирает» M или N. Тогда условную конструкцию можно представить выражением вида ЕСЛИ L M N

добавлено: 04.06.2014
Числа Черча и арифметические операции

Натуральные числа могут быть представлены в чистом лямбда-исчисление функциями высокого порядка – лямбда-термами: в конечном итоге, все определяется интерпретацией того или иного лямбда-выражения.

добавлено: 04.06.2014
Машина Тьюринга кратко

Машина Тьюринга – абстрактная математическая машина, была разработана Аланом Тьюрингом для моделирования вычислимых функций. Было доказано, что лямбда-исчисление эквивалентно аппарату машин Тьюринга в том смысле, что каждое лямбда-выражение имеет эквивалентную реализацию определяемую некоторой машиной Тьюринга и наоборот. 

добавлено: 04.06.2014
Теорема Черча-Россера

Теорема 1 (теорема Черча-Россера I). Если для некоторых лямбда-термов K, L, M выполняются отношения редукции KL и KM, то существует такой терм N, что LN и MN.

добавлено: 04.06.2014
Редукционные стратегии

Основная цель манипулирования лямбда-выражением состоит в уменьшении его в некую «минимальную форму», которую можно было бы трактовать как значение этого лямбда-выражением. Несмотря на то, что термин «редукция» подразумевает уменьшение размера лямбда-терма, в действительности это может быть не так, что показывает следующий пример

добавлено: 04.06.2014
Поиск статей в каталоге
расширенный поиск статей
Категории каталога статей
Общественные и гуманитарные науки лекции
Лекций по бухгалтерскому учету
Лекции реклама
Лекции по аудиту
Экономика организации предприятия лекции
Конспект лекций по экономике
Лекции по социологии
Стратегическое планирование лекции
Лекции по бжд для вузов
Социальная антропология учебник
Лекции по pr
Государственное регулирование экономики учебник
Музыковедение
Лекции по этнологии и этнографии
Методика преподавания биологии
Музееведение
Философия лекции
Политология лекции
Менеджмент и управление
Труд и занятость
Русский язык и культура речи
Лекции по праву
Лекции по истории
Новости сайта
  • 01.09.2016
    Поздравляем всех кто учиться и всех кто учить с началом учебного сезона.
  • 01.06.2016
    Поздравляем с началом лета и каникулами всех учащихся и преподавателей!
  • 01.05.2016
    Поздравляем посетителей нашей доски объявлений и образовательного портала с наступающими майскими праздниками: Днем Труда и Днем Победы!
  • 08.03.2016
    Поздравляем с праздником Весны. Желаем весеннего настроения, счастья, радости и красоты.
  • 23.02.2016
    Дорогие мужчины! Женская половина нашего коллектива поздравляем мужчин с Днём защитника отечества!
Статистика каталога статей
Всего статей: 3214
Добавлено сегодня: 0
Добавлено вчера: 0
Статистика каталога
Всего объектов: 1016
Добавлено сегодня: 0
Добавлено вчера: 0
Статистика объявлений
Всего объявлений: 658
Добавлено сегодня: 0
Добавлено вчера: 2
Подписка на рассылку
Ваше имя
Ваш Email