Навигация
Главная
Поиск
Форум
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
21 ошибка прогр... 65535
HACK F.A.Q 65535
Бип из системно... 65535
Гостевая книга ... 65535
Invision Power ... 65535
Пример работы с... 65535
Содержание сайт... 65535
ТЕХНОЛОГИИ ДОСТ... 65535
Организация зап... 65535
Вызов хранимых ... 65535
Создание отчето... 65535
Имитационное мо... 65535
Программируемая... 65535
Эмулятор микроп... 65535
Подключение Mic... 65535
Создание потоко... 65535
Приложение «Про... 65535
Оператор выбора... 65535
Реклама
Сейчас на сайте
Гостей: 9
На сайте нет зарегистрированных пользователей

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

База данных склада на Delphi + Схема БД
Моделирование вычислительного центра на GPSS + Отчет + Блок схема
Моделирование интернет магазина (Apache, Php, Html) на GPSS + Блок схема

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

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


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



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

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

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

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

Пароль



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

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

Случайные загрузки
OnlineIP
Анекдоты с ostrie.ru
VksButton
Клавиатурный трен...
Род Стивенс. Delp...
SMExport
Распознавание тек...
Java Server Pages...
Панель "Случайное...
3d Tank [Исходник...
Расширенный загру...
DFileDeleter
PDJPack
UmEdit
3D Октаэдр
Отключение и вклю...
Применение фильтр...
Удаление своего EXE
Панель поиска
Панель для реклам...

Топ загрузок
Приложение Клие... 100771
Delphi 7 Enterp... 97788
Converter AMR<-... 20259
GPSS World Stud... 17014
Borland C++Buil... 14186
Borland Delphi ... 10267
Turbo Pascal fo... 7372
Калькулятор [Ис... 5968
Visual Studio 2... 5205
Microsoft SQL S... 3661
Случайные статьи
RAID уровня 0
Чего мы хотим от п...
Дазо4
Cannot Read or Wri...
• Чтобы применять ...
Планируйте издание...
Как работают модули
Старт и завершение...
Под категориями ст...
Основные сведения ...
плана безопасности
Линии выноски для ...
Создание примера п...
Внимание
вычисления значени...
asserta(X), assert...
Исключение рекурси...
Создание пользоват...
Структура buf
Лексический анализ...
Термоядерный синтез
Как заработать на ...
реализация функции...
9.5. Задачи
Преобразование типов
Статистика



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


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