Навигация
Главная
Поиск
Форум
FAQ's
Ссылки
Карта сайта
Чат программистов

Статьи
-Delphi
-C/C++
-Turbo Pascal
-Assembler
-Java/JS
-PHP
-Perl
-DHTML
-Prolog
-GPSS
-Сайтостроительство
-CMS: PHP Fusion
-Инвестирование

Файлы
-Для программистов
-Компонеты для Delphi
-Исходники на Delphi
-Исходники на C/C++
-Книги по Delphi
-Книги по С/С++
-Книги по JAVA/JS
-Книги по Basic/VB/.NET
-Книги по PHP/MySQL
-Книги по Assembler
-PHP Fusion MOD'ы
-by Kest
Professional Download System
Реклама
Услуги

Автоматическое добавление статей на сайты на Wordpress, Joomla, DLE
Заказать продвижение сайта
Программа для рисования блок-схем
Инженерный калькулятор онлайн
Таблица сложения онлайн
Популярные статьи
OpenGL и Delphi... 65535
Форум на вашем ... 65535
HACK F.A.Q 65535
Бип из системно... 65535
Гостевая книга ... 65535
Invision Power ... 65535
Содержание сайт... 65535
Организация зап... 65535
Вызов хранимых ... 65535
Программируемая... 65535
Эмулятор микроп... 65535
Подключение Mic... 65535
Создание потоко... 65535
Приложение «Про... 65535
Оператор выбора... 65535
Создание отчето... 65062
Модуль Forms 64838
Пример работы с... 63248
ТЕХНОЛОГИИ ДОСТ... 61552
Имитационное мо... 57399
Реклама
Сейчас на сайте
Гостей: 10
На сайте нет зарегистрированных пользователей

Пользователей: 13,081
новичок: Abdukarimov A
Новости
Реклама
Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ
Delphi, Turbo Pascal, Assembler, C, C++, C#, Visual Basic, Java, GPSS, Prolog, 3D MAX, Компас 3D
Заказать программу для Windows Mobile, Symbian

Метод конечных разностей для интерполяции/экстраполяции на Delphi
Лабораторная работа по динамическим спискам на Turbo Pascal (удаление ду...
Двунаправленный динамический список на Delphi + Блок схемы

Реклама



Подписывайся на YouTube канал о программировании, что бы не пропустить новые видео!

ПОДПИСЫВАЙСЯ на канал о программировании
Основное -- адекватный способ мышления
Хорошо известно, что в практике программирования сложились различные подходы, которые развиваются по различным направлениям. Бросающиеся в глаза различия проявляются в разном способе осмысления и написания программ. Большинство программистов занимается процедурным программированием. Однако кроме
него есть программирование, основанное на правилах, логическое
программирование, параллельное программирование, визуальное
программирование, программирование в терминах потоков данных. При желании этот перечень можно продолжить, но он, очевидно, будет неполон, если в него не включить также и объектноориентированное программирование, которое имеет явно выраженную тенденцию роста.
Подходов и стилей программирования много, и это отражает картину совершенствования и распространения все новых и новых компьютерных архитектур. Возникающие архитектуры ориентированы
на новые подходы к программированию, которые еще только зарождаются в исследовательских лабораториях.
Обилие и разнообразие подходов к программированию в computer
science отражается в развитии и распространении различных подходов к построению математики. Действительно, математических теорий построено удивительно много, и каждая из них является совершенно своеобразным языком общения сравнительно ограниченного
круга специалистов, которые хорошо понимают друг друга. Однако попытка “непосвященного” понять практическую пользу и значимость нового математического языка наталкивается на препятствия.
Прежде всего оказывается необходимым перестроить собственный
стиль мышления, чтобы на известные трудности взглянуть под новым углом зрения. Так распространение объектно-ориентированного
программирования требует и привлечения других способов рассуждения, которые зачастую радикально отличаются от стереотипов
рассуждения в процедурном программировании.8 Предисловие
Точно также лишь немногие и сравнительно молодые математические теории ориентированы на рассуждения в терминах объектов, а не в терминах операторов, как это следует из опыта изучения математического анализа в большинстве университетов, в том
числе, и технического или компьютерного профиля. К сожалению,
программисту не удается прослушать университетский курс, закладывающий основы математического мышления в терминах объектов. В лучшем случае дело ограничивается сообщением чисто математических результатов, полученных в комбинаторной логике, ?исчислении или теории категорий, которые не так-то просто преломить на практическое программирование без известной теоретической искушенности.
Можно утверждать, что комбинаторная логика значительно повлияла на современную картину программирования. Начинаясь как
наука о природе подстановок в математических теориях, она породила функциональное программирование, программирование в
терминах суперкомбинаторови некоторые другие чрезвычайно плодотворные подходы к программированию. В частности, только понастоящему проникнув в сам дух комбинаторной логики, можно понять в деталях и практически применить систему программирования
с заранее нефиксированной системой инструкций.
Парадигмы программирования 90-х гг. в сильной степени выросли из математического способа рассуждений, принятого в теории
вычислений. В частности, одной из ее начальных посылок была концепция “протекания информации” вдоль некоторого “возможного” русла, что привело к возникновению весьма плодотворной концепции
программы, управляемой потоком данных. Другой пример связан с
идеей использования некоторой части комбинаторной логики, построив в ней специальные объекты-инструкции. Эти объекты образуют систему команд категориальной абстрактной машины, которая
может быть с успехом положена в основу вполне практических (но
объектно-ориентированных) систем программирования. Более того,
правила комбинаторной логики позволяют оптимизировать компилируемый программный код, редуцируя его к некоторой нормальной
форме. Для специалистов в комбинаторной логике это почти само
собой разумеется с самого начала, поскольку в этом состояла одна
из целей разработки комбинаторной логики как математической дисциплины.
Современные исследования в области computer science показывают, что комбинаторная логика и ее различные категориальныеЗачем нужно исчислять объекты 9
диалекты становятся необходым математическим языком программиста, пользуясь которым он обменивается идеями со своими коллегами. Дело как раз в том, что одним из предметов ее исследования
являются объекты и построение различных исчислений объектов, которые удовлетворяют кругу вопросов каждой конкретной прикладной
задачи. Другими словами, решение всякой задачи требует построения специального точного языка. Как хорошо известно программистам, это язык интерфейса программного обеспечения. В терминах
специалиста в computer science это специализированный диалект
комбинаторной логики.
Опубликовал Kest April 03 2014 03:09:56 · 0 Комментариев · 3070 Прочтений · Для печати

• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •


Комментарии
Нет комментариев.
Добавить комментарий
Имя:



smiley smiley smiley smiley smiley smiley smiley smiley smiley
Запретить смайлики в комментариях

Введите проверочный код:* =
Рейтинги
Рейтинг доступен только для пользователей.

Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.

Нет данных для оценки.
Гость
Имя

Пароль



Вы не зарегистрированны?
Нажмите здесь для регистрации.

Забыли пароль?
Запросите новый здесь.
Поделиться ссылкой
Фолловь меня в Твиттере! • Смотрите канал о путешествияхКак приготовить мидии в тайланде?
Загрузки
Новые загрузки
iChat v.7.0 Final...
iComm v.6.1 - выв...
Visual Studio 200...
CodeGear RAD Stud...
Шаблон для новост...

Случайные загрузки
100 компонентов о...
IPAddresseEdit
FileFind
Просмотр файлов и...
Visual Basic Script
Мониторинг сервер...
Программирование ...
Система баннеро-о...
Применение фильтр...
Иллюстрированный ...
PHP: Полезные приемы
Rss Parser
LaserTank [Исходн...
SUIPack
Java в примерах -...
JanButtonsV
Dreamsoft Progres...
Delphi. Готовые а...
Delphi 2006 - Спр...
Xrumer 4 Platinum...

Топ загрузок
Приложение Клие... 100466
Delphi 7 Enterp... 86622
Converter AMR<-... 20077
GPSS World Stud... 12647
Borland C++Buil... 11755
Borland Delphi ... 8555
Turbo Pascal fo... 7037
Visual Studio 2... 4998
Калькулятор [Ис... 4760
FreeSMS v1.3.1 3541
Случайные статьи
Процедура FloodFil...
Основы спутниковых...
Спецификация lOOOB...
Canon: скомпонуйте...
ПРЕДИСЛОВИЕ РЕДАКТ...
Распределенная сис...
Разработать процед...
Применение техноло...
Форматирование выд...
Первые шаги. Дейст...
Можно поместитьпри...
ПРИЛОЖЕНИЕ А. О...
Создание базы данн...
Принцип постоянств...
Процедура SetTextS...
Современная реализ...
настраиваемых в MSDSS
Использование ключ...
File access denied
По поводу отчислен...
ФУНКЦИОНАЛЬНАЯ СТР...
сервера (всегда)]т...
OpenGL. Шесть куби...
Установка последов...
Абстрактные типы д...
Статистика



Друзья сайта
Программы, игры


Полезно
В какую объединенную сеть входит классовая сеть? Суммирование маршрутов Занимают ли таблицы память маршрутизатора?