Навигация
Главная
Поиск
Форум
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
Создание отчето... 65535
Программируемая... 65535
Эмулятор микроп... 65535
Подключение Mic... 65535
Создание потоко... 65535
Приложение «Про... 65535
Оператор выбора... 65535
Модуль Forms 65535
Имитационное мо... 59416
Реклама
Сейчас на сайте
Гостей: 7
На сайте нет зарегистрированных пользователей

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

Моделирование автовокзала + Отчет + Блок схема
Моделирование литейного цеха на GPSS + Пояснительная записка
Моделирование вычислительного центра на GPSS + Отчет + Блок схема

Реклама



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

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

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


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



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

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

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

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

Пароль



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

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

Случайные загрузки
Microsoft Press -...
AUTOWEB
AddPage [Исходник...
Delphi. Разработк...
Основы программир...
Geo-Whois
PDJXPPack
С. Г. Горнаков - ...
PHP/MySQL для нач...
Платформа програм...
Task Shedule
Microsoft SQL Ser...
XPcontrol
Battle.Net - мони...
DateEdit
IMtale
Создание оригинал...
isoCanvas (Редакт...
Error mod
Zoom [Исходник на...

Топ загрузок
Приложение Клие... 100512
Delphi 7 Enterp... 90199
Converter AMR<-... 20092
GPSS World Stud... 14943
Borland C++Buil... 12690
Borland Delphi ... 8936
Turbo Pascal fo... 7093
Калькулятор [Ис... 5126
Visual Studio 2... 5018
FreeSMS v1.3.1 3554
Случайные статьи
Это можно предотвр...
Идентификаторы в я...
Манипулирование би...
Новые возможности ...
• Защита полезных ...
Установка коммуник...
Инструменты Visual...
1.5. Правила
Контакты для обмен...
Счетчик ссылок vnode
Коллективное владение
Задание на моделир...
Модуль Forms
Преобразование теп...
Магнитные выключатели
Если включить филь...
Нерешенные вопросы
14.2. Две важные ф...
Основная работа ок...
Текстуру можно исп...
Протокол RPC
Способы фильтрации...
Пример программы —...
Для восстановления...
ключ для туннельно...
Статистика



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


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