Все, что есть существенного в комбинаторной логике -- это объекты и способы комбинирования объектов. Комбинирование одних объектов с другими выполняется посредством изначально выделенных объектов-констант, называемых комбинаторами. Этих изначальных комбинаторов всего несколько, однако пользуясь ими удается построить такие известные формальные системы как логика
высказываний, логика предикатов, арифметические системы и целый ряд других. За последнее десятилетие комбинаторная логика
стала одним из основных метаматематических аппаратов computer
science, показав свои возможности в сфере программирования. Возникло целое семейство языков функционального программирования. Miranda, ML, KRC уже достаточно известные программистам
дают представление о возможных применениях. Однако заявивший
о себе в полной мере объектно-ориентированный подход к программированию и к проектированию прикладных систем в целом ставит
принципиальные вопросы, касающиеся самого способа оперирования в терминах объектов. Для этого требуется заранее выбранный
универсум рассуждений, своего рода теоретическая оболочка, которая гарантирует математическую плодотворность проводимого исследования. Это становится особенно ощутимым при реализации
больших программных проектов, когда выбор систематического способа представления и оперирования объектами приобретает решающее значение.
Опубликовал Kest
April 02 2014 23:11:57 ·
0 Комментариев ·
3373 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
