![]() |
Книги, конференции |
![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
03.09.2014 |
![]() |
Как связаться с администратором сайта
|
Книги серии: "Компьютерные науки и информационные технологии"
Вступительная статья Книги серии "Компьютерные науки и информационные технологии" издательства АО "Центр ЮрИнфоР" издаются, начиная с 2001 г. Они пользуются заслуженным успехом у читателей самых различных уровней подготовки, так или иначе занятых в области информатики. Настоящая книга подготовлена к изданию как нельзя более кстати и займет в серии достойное место. По своему замыслу в работе реализуется элементарный подход к изложению базовых идей и методов теории вычислений. За последние двадцать лет одним из наиболее интенсивно разрабатываемым понятием было и остается представление о вычислении (computing), которое оказалось оснащенным комплексом дисциплин, состав и содержание которых непрерывно трансформируется. Только в самое последнее время специальной объединенной комиссией Ассоциации по Вычислительной Технике (Association for Computing Machinery, ACM) и Компьютерным сообществом Института Инженеров по Электротехнике и Электронике (IEEE Computer Society) был представлен отчет, содержащий рекомендации по преподаванию информатики и типовым учебным планам этой дисциплины. Вместе с тем и процесс научного становления этой дисциплины нельзя считать завершенным. Хорошо известно, что анализ такого емкого понятия, как `вычисление' нуждается в подходящем понятийном запасе. Действительно, информатика шире, чем собственно компьютерные науки, а последние несводимы только к программированию. В настоящей книге отбираются и подвергаются обсуждению только такие формализации, которые напрямую способствуют изучению вопроса, как же решаются задачи в этих областях. Ее отличительной особенностью являются систематическое изложение круга вопросов вычислений с объектами -- интенсивно развивающегося направления, которое особенно важно для успешного применения информационных технологий. Формальные средства вычислений с объектами действительно позволяют охватить все аспекты решения задач, начиная с их аккуратной постановки -- чтобы прийти к правильно построенному решению, -- вплоть до построения стратегий, которые приводят к решениям шаг за шагом (пошаговые стратегии), и указать аналитические методы, которые дают возможность оценить и сравнить решения. Этот путь изучения вычислений формирует квалифицированных программистов, поскольку именно программирование является той средой, которая используется для обсуждения всех указанных понятий. В частности, аппликативные вычислительные системы являются базовыми для развития методов и средств вычислений с объектами, а последние нужны тем, кто заинтересован в изучении методов постановки, решения и анализа задач. Круг излагаемых в работе вопросов нельзя отождествлять с программированием, хотя в известном смысле она предназначена для адептов программирования. В настоящей книге базовый запас метатеоретических средств рассмотрен с позиций систематического использования операций абстракции и аппликации -- применения, или приложения, одних объектов к другим, -- что позволяет охватить и принципиально важный круг вопросов, относящихся к основам программирования и языкам программирования. Методы и средства вычислений с объектами, изложенные в настоящей работе, находят отражение в большинстве разделов учебных курсов по информатике и, наряду с другими методами, способствуют развитию компьютерных наук и программирования, а сама книга найдет широкую аудиторию заинтересованных читателей.
|
Предисловие редакторов серии
Изменяются как отдельные профессии, так и целые отрасли индустрии или знания. По-сути, развитие информационных технологий дало виртуальную реальность, к которой современное общество только начинает адаптироваться и возможности которой достаточно быстро осваиваются. Если на ранних стадиях программирование представляло собой вид искусства, когда программист писал программу для решения определенной задачи и сопровождал ее более или менее подробно составленной документацией, то теперь создана мощная индустрия программирования с сопутствующей ей инженерией программирования. В настоящее время в исследованиях по программированию или в сфере компьютерных наук, как правило, поддерживаются работы, в которых вносится некоторое небольшое улучшение в решение уже хорошо известной проблемы. Вместе с тем из виду упускаются действительно важные и фундаментальные исследования, ведущие к поиску новых концепций вычислений на компьютере и недостаточное внимание уделяется накоплению знаний в области программирования. Публикации в этой серии задуманы как продолжающийся ряд работ в области компьютерных наук, информационных технологий и программирования, способствующих накоплению знаний в этих областях. Предполагается, что публикуемые работы могут быть использованы для изложения отдельных курсов и вместе с тем способствовать научным исследованиям. Как правило, книги серии предназначаются для удовлетворения читателей самого различного уровня -- от студентов, ставящих перед собой целью первичное ознакомление с самим предметом, до специалистов в разделах компьютерных наук. Таким образом в публикациях серии предполагается отражать текущее состояние дел в данной области и дать основу для систематического изучения разделов компьютерных наук, информационных технологий и программирования. Редакторы серии
|
В мои научные интересы входят базы данных в целом, объектно-ориентированные системы, логика, компьютерные науки и, в частности, разделы ламбда-исчисления, комбинаторной логики и теории категорий.
Мои нынешние взгляды на роль и место представления об объекте в информатике, компьютерных науках и информационных технологиях отражает презентация
В настоящее время я читаю ряд курсов. Информация о курсах находится в стадии разработки и будет пополняться.
::Логика, курс в Институте "ЮрИнфоР-МГУ"
...
::Информатика и математика, курс в Институте
"ЮрИнфоР-МГУ" ...
::Спецглавы информатики, курс в МФТИ
...
::Модели вычислений, курс в МФТИ
...