Перейти к основному содержанию
Институт систем информатики им. А.П. Ершова СО РАН
Главное меню
Новости
Институт
Проекты
Публикации
Семинары
Конференции
Документы
Обучение
Издания ИСИ
Библиотека
ВКонтакте
Youtube
Дзен
Rutube
Поиск
webmaster@iis.nsk.su
Оставьте это поле пустым
EN
Меню
Главное меню
Новости
Лента новостей
Архив новостей
Подать объявление
Архив объявлений
Институт
Выборы директора
Основная информация
История
Структура института
Сотрудники
Ученый совет
Диссертационный совет (архив)
Сведения об образовательной организации
Профком ИСИ
Отдел ГО и защиты от ЧС
Адрес инcтитута
Телефонный справочник, PDF
ИСИ СО РАН в СМИ
Международное сотрудничество
Годовые отчеты
Фотоархив ИСИ
Видеоархив ИСИ
Памятные сайты ученых
Полезные ссылки
Реквизиты ИСИ СО РАН
Вакансии
Проекты
Приоритетные направления
Гранты
Прикладные разработки
Проекты молодых сотрудников
Проекты прошлых лет
Памятные сайты ученых
Мозаика воспоминаний
ТРИЗ и системы поиска решений
Публикации
О публикациях
Список публикаций
Препринты
Диссертации и авторефераты
Сборники статей
Книги сотрудников ИСИ
Учебные и методические пособия
Методика определения импакт-фактора научного журнала
Научно-популярные статьи сотрудников ИСИ в прессе
ГОСТ Р 7.0.11-2011 - Диссертация и автореферат диссертации
Как правильно оформлять список литературы
Рекомендации по подготовке и оформлению статей
Экспертизы публикаций
Семинары
Все cеминары
Объединенный семинар
Методологический семинар
Прочие семинары
Конференции
Конференции
Конференции ИСИ СО РАН
Ершовские лекции
PSI
Документы
Бланки и образцы
Внутренние положения
Материалы по ГО
Отчёты
Охрана труда
Приказы
Противодействие коррупции
Учет и охрана РИД
Аттестация
Номенклатура
Обучение
Аспирантура
Кафедры
ЛШЮП
Олимпиады
Издания ИСИ
Бюллетень NCC
Журнал "Системная информатика"
Библиотека
Библиотека
О библиотеке
Фотогалерея
Институт систем информатики им. А.П. Ершова СО РАН
Главное меню
Новости
Институт
Проекты
Публикации
Семинары
Конференции
Документы
Обучение
Издания ИСИ
Библиотека
Главное меню
Новости
Лента новостей
Архив новостей
Подать объявление
Архив объявлений
Институт
Выборы директора
Основная информация
История
Структура института
Сотрудники
Ученый совет
Диссертационный совет (архив)
Сведения об образовательной организации
Профком ИСИ
Отдел ГО и защиты от ЧС
Адрес инcтитута
Телефонный справочник, PDF
ИСИ СО РАН в СМИ
Международное сотрудничество
Годовые отчеты
Фотоархив ИСИ
Видеоархив ИСИ
Памятные сайты ученых
Полезные ссылки
Реквизиты ИСИ СО РАН
Вакансии
Проекты
Приоритетные направления
Гранты
Прикладные разработки
Проекты молодых сотрудников
Проекты прошлых лет
Памятные сайты ученых
Мозаика воспоминаний
ТРИЗ и системы поиска решений
Публикации
О публикациях
Список публикаций
Препринты
Диссертации и авторефераты
Сборники статей
Книги сотрудников ИСИ
Учебные и методические пособия
Методика определения импакт-фактора научного журнала
Научно-популярные статьи сотрудников ИСИ в прессе
ГОСТ Р 7.0.11-2011 - Диссертация и автореферат диссертации
Как правильно оформлять список литературы
Рекомендации по подготовке и оформлению статей
Экспертизы публикаций
Семинары
Все cеминары
Объединенный семинар
Методологический семинар
Прочие семинары
Конференции
Конференции
Конференции ИСИ СО РАН
Ершовские лекции
PSI
Документы
Бланки и образцы
Внутренние положения
Материалы по ГО
Отчёты
Охрана труда
Приказы
Противодействие коррупции
Учет и охрана РИД
Аттестация
Номенклатура
Обучение
Аспирантура
Кафедры
ЛШЮП
Олимпиады
Издания ИСИ
Бюллетень NCC
Журнал "Системная информатика"
Библиотека
Библиотека
О библиотеке
Фотогалерея
Институт
Машуков Михаил Юрьевич
ИСИ
>>
Hаучно-исследовательские подразделения
>>
Лаборатория теоретического программирования
>>
Научный персонал
Должность:
Младший научный сотрудник
Комната:
248
Телефон:
8(383)3306253
Внутр. тел.:
2368
E-mail:
mashukovm@mail.ru
Является сотрудником:
Да
День рождения:
5 ноября
Publications
РИНЦ AuthorID:
143389
Главное меню
Новости
Лента новостей
Архив новостей
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2002
2001
2000
Подать объявление
Архив объявлений
Институт
Выборы директора
Основная информация
История
История института
К 10-летию ИСИ СО РАН
Содержание
Марчук А.Г. Предисловие
Как все начиналось
Языки и системы программирования
Операционные системы
Искусственный интеллект
Теория программирования
Системы экспериментальной информатики
Школьная информатика
Система СОКРАТ
Проект "Марс"
Проект БАРС
Проект Кронос
Язык программирования Поляр
Проект "Кремниевый компилятор"
Проект МАРС-М (мини-МАРС)
Временный научно-технический коллектив (ВНТК) "СТАРТ"
Создание Института систем информатики
"Родственники"
Фонд А.П. Ершова
А.П. Ершов
20 лет ИСИ
Журнал "ТРИЗ"
Структура института
Сотрудники
Поиск сотрудников
Расширенный поиск
Ученый совет
Диссертационный совет (архив)
Документы
Материалы
Состав
Диссертации на рассмотрении
Защиты диссертаций
Деятельность диссертационного совета
Новости
Свежие новости
Архив новостей
Сведения об образовательной организации
Основные сведения
Структура
Документы
Образование
Образовательные стандарты
Руководство. Педагогический (научно-педагогический) состав
Материально-техническое обеспечение и оснащенность образовательного процесса
Стипендии и иные виды материальной поддержки
Финансово-хозяйственная деятельность
Вакантные места для приема (перевода)
Профком ИСИ
О Профкоме
Члены Профкома
Организационная работа
Архив новостей Профкома
Отдел ГО и защиты от ЧС
Адрес инcтитута
Телефонный справочник, PDF
ИСИ СО РАН в СМИ
Международное сотрудничество
Информация
Презентация на русском
Презентация на английском
Презентация на французском
Презентация на китайском
Годовые отчеты
Фотоархив ИСИ
Видеоархив ИСИ
Памятные сайты ученых
Полезные ссылки
Реквизиты ИСИ СО РАН
Вакансии
Проекты
Приоритетные направления
Проекты
Отчеты
Гранты
Прикладные разработки
Проекты молодых сотрудников
Проекты прошлых лет
Памятные сайты ученых
Мозаика воспоминаний
ТРИЗ и системы поиска решений
Главная
Конференции
Семинар ИСИ СО РАН
Гранты
Публикации
О публикациях
Список публикаций
2023
2022
2021
2020
2019
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
Препринты
2023
2022
2019
2018
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
Диссертации и авторефераты
Сборники статей
Книги сотрудников ИСИ
Учебные и методические пособия
Методика определения импакт-фактора научного журнала
Научно-популярные статьи сотрудников ИСИ в прессе
ГОСТ Р 7.0.11-2011 - Диссертация и автореферат диссертации
Как правильно оформлять список литературы
Рекомендации по подготовке и оформлению статей
Экспертизы публикаций
Семинары
Все cеминары
Объединенный семинар
Методологический семинар
Прочие семинары
Конференции
Конференции
Конференции ИСИ СО РАН
Ершовские лекции
Все лекции
XIX лекция, 2024
XVIII лекция, 2023
XVII лекция, 2022
XVI лекция, 2021
XV лекция, 2021
XIV лекция, 2019
XIII лекция, 2018
XII лекция, 2017
XI лекция, 2016
X лекция, 2015
IX лекция, 2014
VIII лекция, 2013
VII лекция, 2013
VI лекция, 2012
V лекция, 2011
IV лекция, 2010
III лекция, 2009
II лекция, 2008
I лекция, 2007
PSI
Документы
Бланки и образцы
Внутренние положения
Материалы по ГО
Программа 2022 года
Архив
Отчёты
Охрана труда
Приказы
Противодействие коррупции
Учет и охрана РИД
Аттестация
Номенклатура
Обучение
Аспирантура
Об аспирантуре
Нормативные документы
Прием в аспирантуру в 2024/2025 году
Целевое обучение
Профиль 05.13.11
Профиль 05.13.17
Перечень документов
Подготовка и сдача кандидатских экзаменов
Научные руководители
Список аспирантов
Платные образовательные услуги
Кафедры
Кафедра вычислительных систем
Кафедра программирования
ЛШЮП
Олимпиады
Олимпиада им. И.В. Поттосина
Новости об олимпиаде
Архив
Издания ИСИ
Бюллетень NCC
Журнал "Системная информатика"
Библиотека
Библиотека
О библиотеке
Фотогалерея