Заключение

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

Теоретическое программирование очертило многие принципиальные проблемы, которые предстоит решать. Движение в сторону «искусственного интеллекта» также расширяет круг задач, подлежащих формализации.

Все это говорит о том, что само по себе увеличение производительности компьютеров в тысячи раз, как то обещают, например, квантовые вычислители, не решает назревших проблем действительного прогресса в компьютеризации. Качественный скачек в производительности тем более потребует радикальных архитектурных изменений. Потребует, естественно, и новых подходов к формализации, то есть новых подходов к математическому моделированию.

Литература

1. Новиков Ф.А. Дискретная математика для программистов. – СПб:Питер, 2000. – 304 с.

2. Кузнецов О.П., Адельсон-Вельский Г. М. Дискретная математика для инженера. 2-е изд. –М.: Энергоатомиздат, 1988.-480 с.

3. Кук Д., БейзГ. Компьютерная математика. –М.: Наука, 1990.- 384 с.

4. Кузин Л.Т. Основы кибернетики. том 2. –М.:Энергия, 1979.-584 с.

5. Мендельсон Э. Введение в математическую логику. –М.:Наука, 1971. –320 с.

6. Клини С. Математическая логика. –М: Мир,1973. –480 с.

7. Уилсон Р. Введение в теорию графов. –М.:Наука, 1977. –207 с.

8. Гроссман И., Магнус В. Группы и графы. –М.:Мир, 1971. –247 с.

9. Кофман А. Введение в прикладную комбинаторику. –М.:Наука, 1975. –479 с.

10. Хендерсон П. Функциональное программирование. Применение и реализация. –М.: Мир, 1983.-349 с.

11. Клоксин У., Меллиш К. Программирование на языке Пролог.- М.: Мир, 1987.- 336 с.

12. Буч Г. Объестно-ориентированный анализ и проектирование с примерами приложений на С++, 2-е изание/Пер. с англ. - М.: "Издательство Бином", СПб: "Невский диалект", 1998 г. - 560 с.

108