Electronic Documents Search

Documents found: 28

1
2
3

Экспериментальная программа для доказательства теорем интуиционистской логики обратным методом Маслова // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2015. – № 6 (234)

Creators	Павлов Владимир Александрович; Пак Вадим Геннадьевич
Organization	Санкт-Петербургский политехнический университет Петра Великого; Министерство образования и науки Российской Федерации
Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2015
Collection	Общая коллекция
Subjects	Радиоэлектроника; Искусственный интеллект. Экспертные системы; автоматическое доказательство теорем; программы доказательства теорем; программы; доказательство теорем; математическая логика; интуиционистская логика; логические исчисления; секвенции; WhaleProver; системы доказательства теорем; обратный метод Маслова; Маслова обратный метод
UDC	004.8
LBC	32.813
Document type	Article, report
File type	PDF
Language	Russian
DOI	10.5862/JCSTCS.234.7
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 344 Kb

Разработка программы снятия данных с термопары при помощи микросхемы MAX31850: выпускная квалификационная работа бакалавра: направление 11.03.02 «Инфокоммуникационные технологии и системы связи» ; образовательная программа 11.03.02_01 «Системы мобильной связи»

Creators	Лю Носинь
Scientific adviser	Фадеев Дмитрий Кантович
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт электроники и телекоммуникаций
Imprint	Санкт-Петербург, 2022
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	микросхемы; снятие данных; программы; алгоритмы; microchips; data removal; programs; algorithms
Document type	Bachelor graduation qualification work
File type	PDF
Language	Russian
Level of education	Bachelor
Speciality code (FGOS)	11.03.02
Speciality group (FGOS)	110000 - Электроника, радиотехника и системы связи
DOI	10.18720/SPBPU/3/2022/vr/vr22-3673
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 0.5 Mb

Conding of disciplines and programs of training // Материалы...27 ноября - 2 декабря 2000 г. – Институт международных образовательных программ и гуманитарный факультет. — Ч.8

Creators	Андреева В. С.; Шевченко Евгений Васильевич
Other creators	Глухов Владимир Викторович
Organization	Санкт-Петербургский государственный технический университет. Межвузовская научная конференция, Неделя науки (29; 2000; Санкт-Петербург); Совет СПбГТУ по научно-исследовательской работе студентов
Imprint	СПб., 2001
Collection	Общая коллекция
Subjects	системы; кодирование; программы; подготовка; дисциплин
UDC	378.141.4.001.33
Document type	Article, report
File type	PDF
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 96 Kb

Использование экономического симулятора "Capitalism" при практической подготовке в области стратегического управления // Материалы...27 ноября - 2 декабря 2000 г. – Факультет экономики и менеджмента и международная высшая школа управления. — Ч.7

Creators	Княгинин Олег Владимирович; Горковенко Виталий Андреевич
Other creators	Глухов Владимир Викторович
Organization	Санкт-Петербургский государственный технический университет. Межвузовская научная конференция, Неделя науки (29; 2000; Санкт-Петербург); Факультет экономики и менеджмента; Совет СПбГТУ по научно-исследовательской работе студентов
Imprint	СПб., 2001
Collection	Общая коллекция
Subjects	управление; стратегическое управление; симуляторы; программы; компьютеры; подготовка
UDC	657.47
Document type	Article, report
File type	PDF
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 85 Kb

Использование программы INHINK для построения динамической модели предприятия // Материалы...27 ноября - 2 декабря 2000 г. – Факультет экономики и менеджмента и международная высшая школа управления. — Ч.7

Creators	Гвоздева И. Н.; Чуркин Владимир Иосифович
Other creators	Глухов Владимир Викторович
Organization	Санкт-Петербургский государственный технический университет. Межвузовская научная конференция, Неделя науки (29; 2000; Санкт-Петербург); Факультет экономики и менеджмента; Совет СПбГТУ по научно-исследовательской работе студентов
Imprint	СПб., 2001
Collection	Общая коллекция
Subjects	предприятия; автоматизация; рынки; программы; компьютеры; программы ΙΤΗΙΝΚ; моделирование
UDC	657.47
Document type	Article, report
File type	PDF
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 89 Kb

Програмно-информационные средства управления малым предприятием // Материалы...27 ноября - 2 декабря 2000 г. – Факультет экономики и менеджмента и международная высшая школа управления. — Ч.7

Creators	Шафар Ю. В.; Чуркин Владимир Иосифович
Other creators	Глухов Владимир Викторович
Organization	Санкт-Петербургский государственный технический университет. Межвузовская научная конференция, Неделя науки (29; 2000; Санкт-Петербург); Факультет экономики и менеджмента; Совет СПбГТУ по научно-исследовательской работе студентов
Imprint	СПб., 2001
Collection	Общая коллекция
Subjects	предприятия; автоматизация; рынки; программы; компьютеры; программы ΙΤΗΙΝΚ
UDC	657.47
Document type	Article, report
File type	PDF
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 97 Kb

Алгоритм концентрации загрузки технологического оборудования при построении календарных графиков работы предметно-замкнутых участков // Материалы...27 ноября - 2 декабря 2000 г. – Факультет экономики и менеджмента и международная высшая школа управления. — Ч.7

Creators	Арбузов М. Н.; Шнитин Юрий Васильевич
Other creators	Глухов Владимир Викторович
Organization	Санкт-Петербургский государственный технический университет. Межвузовская научная конференция, Неделя науки (29; 2000; Санкт-Петербург); Факультет экономики и менеджмента; Совет СПбГТУ по научно-исследовательской работе студентов
Imprint	СПб., 2001
Collection	Общая коллекция
Subjects	математические методы; технологическое оборудование; алгоритмы; программы
UDC	621.9:658.5
Document type	Article, report
File type	PDF
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 104 Kb

Совершенствование государственной социальной поддержки семей с детьми в Российской Федерации: выпускная квалификационная работа бакалавра: направление 38.03.04 «Государственное и муниципальное управление» ; образовательная программа 38.03.04_01 «Организация государственного и муниципального управления»

Creators	Антонова Наталья Сергеевна
Scientific adviser	Дегтерева Виктория Анатольевна
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт промышленного менеджмента, экономики и торговли
Imprint	Санкт-Петербург, 2025
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	государственная поддержка; социальная защита; семьи с детьми; семья; дети; программы; демография; state support; social protection; families with children; family; children; programs; demography
Document type	Bachelor graduation qualification work
File type	PDF
Language	Russian
Level of education	Bachelor
Speciality code (FGOS)	38.03.04
Speciality group (FGOS)	380000 - Экономика и управление
DOI	10.18720/SPBPU/3/2025/vr/vr25-175
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 1.9 Mb

Предупреждение кризиса в инновационных проектах // Материалы...27 ноября - 2 декабря 2000 г. – Факультет экономики и менеджмента и международная высшая школа управления. — Ч.7

Creators	Андреев А. В.; Окороков Василий Романович
Other creators	Глухов Владимир Викторович
Organization	Санкт-Петербургский государственный технический университет. Межвузовская научная конференция, Неделя науки (29; 2000; Санкт-Петербург); Международная высшая школа управления; Совет СПбГТУ по научно-исследовательской работе студентов
Imprint	СПб., 2001
Collection	Общая коллекция
Subjects	инновации; рекомендации; программы; кризисы; мероприятия
UDC	621.331.658
Document type	Article, report
File type	PDF
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 88 Kb

Ассемблер х86. Указания к выполнению курсовой работы по дисциплине Архитектура компьютера

Creators	Молодяков Сергей Александрович
Organization	Санкт-Петербургский политехнический университет Петра Великого
Imprint	Санкт-Петербург, 2024
Collection	Учебная и учебно-методическая литература; Общая коллекция
Subjects	Программирования языки; Ассемблер; программы; компьютеры; регистровая модель; учебники и пособия для вузов
UDC	004.438(075.8)
Document type	Tutorial
File type	PDF
Language	Russian
Speciality code (FGOS)	09.03.04
Speciality group (FGOS)	090000 - Информатика и вычислительная техника
DOI	10.18720/SPBPU/5/tr24-17
Rights	Свободный доступ из сети Интернет (чтение)

pdf, 1.4 Mb

1
2
3