Electronic Documents Search

Documents found: 6

1

Математическая логика: онлайн-курс

Creators	Карпов Юрий Глебович; Шошмина Ирина Владимировна
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	[Санкт-Петербург, 2016]
Collection	Онлайн-курсы; Общая коллекция
Subjects	Математическая логика; открытое образование
UDC	510.6(075.8)
Document type	Tutorial
File type	Other
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

https://openedu.ru/course/spbstu/MATLOG/

Разработка цифрового сервиса для персонализированного проектирования образовательных программ // Системный анализ в проектировании и управлении: сборник научных трудов XXVI Международной научно-практической конференции, 13–14 октября 2022 года: [в 3 частях]. Ч. 2

Creators	Калмыкова Светлана Владимировна; Болсуновская Марина Владимировна; Васильев Василий Всеволодович; Шошмина Ирина Владимировна
Organization	Санкт-Петербургский политехнический университет Петра Великого; Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий. Высшая школа программной инженерии
Imprint	Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2023
Collection	Общая коллекция
Subjects	Вычислительные машины электронные персональные — Программы прикладные; индивидуальная образовательная траектория; образовательная программа; персонализированная траектория; проектирование; цифровой сервис; электронное обучение; individual educational trajectory; educational program; personalized trajectory; design; digital service; e-learning
UDC	004.9
Document type	Article, report
File type	PDF
Language	Russian
DOI	10.18720/SPBPU/2/id23-104
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 0.8 Mb

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

Creators	Карпов Юрий Глебович; Шошмина Ирина Владимировна
Organization	Санкт-Петербургский государственный политехнический университет
Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2011
Electronic publication	Санкт-Петербург, 2020
Collection	Учебная и учебно-методическая литература; Общая коллекция
Subjects	Вычислительные системы — Программирование; верификация программ; учебники и пособия для вузов
UDC	004.75(075.8); 004.415.5(075.8)
Document type	Tutorial
File type	PDF
Language	Russian
Speciality code (FGOS)	09.00.00
Speciality group (FGOS)	090000 - Информатика и вычислительная техника
DOI	10.18720/SPBPU/2/si20-935
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 6.4 Mb

Метод разработки формальных контекстных требований для верификации программных систем логического управления: автореф. дис. … канд. техн. наук: 05.13.11

Creators	Шошмина Ирина Владимировна
Organization	Санкт-Петербургский политехнический университет Петра Великого
Imprint	Санкт-Петербург, 2015
Collection	Научные работы аспирантов/докторантов; Общая коллекция
Subjects	Вычислительные системы — Надежность
UDC	004.415.5(043.3)
Document type	Author's Abstract
File type	PDF
Language	Russian
Speciality code (OKSVNK)	05.13.11
Speciality group (OKSVNK)	050000 - Технические науки
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 355 Kb

Введение в язык Promela и систему комплексной верификации Spin: учебное пособие

Creators	Шошмина Ирина Владимировна; Карпов Юрий Глебович
Organization	Санкт-Петербургский государственный политехнический университет
Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2010
Electronic publication	Санкт-Петербург, 2021
Collection	Учебная и учебно-методическая литература; Общая коллекция
Subjects	Программирования языки; Вычислительные машины электронные персональные — Программирование
UDC	004.42(075.8); 004.438(075.8)
Document type	Tutorial
File type	PDF
Language	Russian
Speciality code (FGOS)	09.00.00
Speciality group (FGOS)	090000 - Информатика и вычислительная техника
DOI	10.18720/SPBPU/2/si21-78
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 3.7 Mb

Математическая логика. Политехнический взгляд: онлайн-курс

Creators	Шошмина Ирина Владимировна
Organization	Санкт-Петербургский политехнический университет Петра Великого
Imprint	[Санкт-Петербург, 2019]
Electronic publication	Санкт-Петербург, 2021
Collection	Онлайн-курсы; Общая коллекция
Subjects	Математическая логика; открытое образование
UDC	510.6(075.8)
Document type	Tutorial
File type	Other
Language	Russian
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

https://www.coursera.org/learn/matematicheskaya-logika-politekhnicheskiy-vzglyad

1