eXTReMe Tracker Книги, конференции
 

03.09.2014


Как связаться с администратором сайта

 


Книги серии: "Компьютерные науки и информационные технологии"

Вступительная статья

Книги серии "Компьютерные науки и информационные технологии" издательства АО "Центр ЮрИнфоР" издаются, начиная с 2001 г. Они пользуются заслуженным успехом у читателей самых различных уровней подготовки, так или иначе занятых в области информатики. Настоящая книга подготовлена к изданию как нельзя более кстати и займет в серии достойное место. По своему замыслу в работе реализуется элементарный подход к изложению базовых идей и методов теории вычислений.

За последние двадцать лет одним из наиболее интенсивно разрабатываемым понятием было и остается представление о вычислении (computing), которое оказалось оснащенным комплексом дисциплин, состав и содержание которых непрерывно трансформируется. Только в самое последнее время специальной объединенной комиссией Ассоциации по Вычислительной Технике (Association for Computing Machinery, ACM) и Компьютерным сообществом Института Инженеров по Электротехнике и Электронике (IEEE Computer Society) был представлен отчет, содержащий рекомендации по преподаванию информатики и типовым учебным планам этой дисциплины. Вместе с тем и процесс научного становления этой дисциплины нельзя считать завершенным.

Хорошо известно, что анализ такого емкого понятия, как `вычисление' нуждается в подходящем понятийном запасе. Действительно, информатика шире, чем собственно компьютерные науки, а последние несводимы только к программированию. В настоящей книге отбираются и подвергаются обсуждению только такие формализации, которые напрямую способствуют изучению вопроса, как же решаются задачи в этих областях. Ее отличительной особенностью являются систематическое изложение круга вопросов вычислений с объектами -- интенсивно развивающегося направления, которое особенно важно для успешного применения информационных технологий.

Формальные средства вычислений с объектами действительно позволяют охватить все аспекты решения задач, начиная с их аккуратной постановки -- чтобы прийти к правильно построенному решению, -- вплоть до построения стратегий, которые приводят к решениям шаг за шагом (пошаговые стратегии), и указать аналитические методы, которые дают возможность оценить и сравнить решения.

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

Круг излагаемых в работе вопросов нельзя отождествлять с программированием, хотя в известном смысле она предназначена для адептов программирования. В настоящей книге базовый запас метатеоретических средств рассмотрен с позиций систематического использования операций абстракции и аппликации -- применения, или приложения, одних объектов к другим, -- что позволяет охватить и принципиально важный круг вопросов, относящихся к основам программирования и языкам программирования.

Методы и средства вычислений с объектами, изложенные в настоящей работе, находят отражение в большинстве разделов учебных курсов по информатике и, наряду с другими методами, способствуют развитию компьютерных наук и программирования, а сама книга найдет широкую аудиторию заинтересованных читателей.

Москва,
2004 г.

А.С. Бугаев,
академик РАН

Предисловие редакторов серии

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

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

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

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

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

Редакторы серии


::Посмотреть книги серии более подробно ...


::Как приобрести книги серии ...


::Задать вопрос автору ...

Научная работа

В мои научные интересы входят базы данных в целом, объектно-ориентированные системы, логика, компьютерные науки и, в частности, разделы ламбда-исчисления, комбинаторной логики и теории категорий.

Мои нынешние взгляды на роль и место представления об объекте в информатике, компьютерных науках и информационных технологиях отражает презентация

Учебная работа

В настоящее время я читаю ряд курсов. Информация о курсах находится в стадии разработки и будет пополняться.


::Логика, курс в Институте "ЮрИнфоР-МГУ" ...


::Информатика и математика, курс в Институте "ЮрИнфоР-МГУ" ...


::Спецглавы информатики, курс в МФТИ ...


::Модели вычислений, курс в МФТИ ...


::Теория типов, курс в МФТИ ...


::Дискретная математика, курс в МИФИ ...