Архив новостей

В разделе «Книги и компьютерная пресса» / «Книги Шалыто А.А.». Добавлены 3 новые книги за авторством Шалыто А.А. и др.

"Автоматное программирование" (2008).
В книге рассматривается автоматное программирование – подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата).

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

Последняя книга - "Заметки о мотивации". Книги публикуются с разрешения автора.

В разделе "История развития программного обеспечения" / "Языки и системы программирования" / "Java" мы публикуем статью Пройдакова Э.М. "Краткая история языка Java". Статья публикуется с разрешения автора

В разделе "Документы и публикации" / "Публикации в СМИ" / "Подкаст Карта Памяти" добавлена ссылка на шестой выпуск подкаста.

Гость нового выпуска - Ольга Максименкова, заместитель руководителя департамента программной инженерии, доцент, руководитель проектной группы «Программная инженерия компьютерных игр — ПИКИ» ФКН. Вместе с ведущим подкаста Шиловым В.В. говорили о жизни и научной деятельности Джона Кармака, американского разработчика компьютерных игр, инженера в области информатики, аэрокосмической техники и виртуальной реальности.

В разделе «ИТ энциклопедия» добавлены новые термины. Публикуется с разрешения авторов.

В разделе «Документы и публикации» / «Материалы конференций» / «Пресса о конференциях SoRuCom» мы пуликуем статью Крайневой И.А. и Шилова В.В. "VI международная конференция «Развитие вычислительной техники в России, странах бывшего СССР и СЭВ»". Статья публиковалась в журнале "Вопросы истории естествознания и техники".

В разделе "Галерея славы" / "Отечественные ученые и инженеры" / "Игорь Александрович Мизин" добавлена статья Соколова И.А., Зацаринного А.А., Захарова В.Н. и Колина К.К. "О роли академика И.А. Мизина в развитии информационных технологий и их применении в государственных интересах: к 90-летию со дня рождения". Статья публиковалась в журнале "Системы и средства информатики" и размещена с согласия авторов.

В разделе "Галерея славы" / "Отечественные ученые и инженеры" добавлен раздел, посвящённый Адельсону-Вельскому Георгию Максимовичу. В него перенесена статья Шалыто А.А. "Сто лет со дня рождения Георгия Максимовича Адельсона-Вельского"

В разделе «Книги и компьютерная пресса» / «Книги Шалыто А.А.». Добавлены 2 новые книги за авторством Шалыто А.А..

Первая книга - "Switch-технология. Алгоритмизация и программирование задач логического управления" (1998).
В книге излагается технология алгоритмизации и программирования задач логического управления на основе теории автоматов. Предназначена для специалистов в области информатики, вычислительной техники и систем управления.

Вторая книга - "Логическое управления. Методы аппаратной и программной реализации алгоритмов логического управления" (2000).
В книге излагаются методы аппаратной и программной реализации алгоритмов логического управления, заданных булевыми функциями разных классов, булевыми формулами и графами переходов и многое другое. Книга предназначена для студентов, обучающихся по специальности "Управление и информатика в технических системах", и специалистов в области информатики, вычислительной техники и систем управления.

Публикуются с разрешения автора.

В РЭУ имени Плеханова 20-21-го марта проходила XIV научно-практическая конференция имени А.И. Китова «Информационные технологии и математические методы в экономике и управлении» (ИТиММ-2025).

Программа конференции: https://it-mm.rea.ru/uploads/arhiv/2025/Programma_2025.pdf

В рамках конференции ИТиММ-2025 при участии Совета ВКМ была организована секция «История создания и использования ИТ», на которой с большим интересом были заслушаны доклады Пройдакова Э.М., Шилова В.В., Поляка Ю.Е. и других

18 марта исполнилось 95 лет со дня рождения выдающегося математика, программиста, инициатора создания локальной информационно-вычислительной сети ОИЯИ, член-корреспондента АН СССР Николая Николаевича Говоруна (1930 – 1989).

В разделе "Галерея славы" / "Отечественные ученые и инженеры" / "Говорун Николай Николаевич" мы публикуем статью "Николай Говорун – создатель информационно-вычислительной инфраструктуры ОИЯИ — Объединенный институт ядерных исследований.", посвящённую этому событию. Статья публиковалась на сайте ОИЯИ.