Библиотека Омского государственного университета им. Ф.М. Достоевского

Электронные ресурсы

Базы данных

История ОмГУ - результаты поиска

Вид поиска

Электронный каталог

Статьи из журналов: 2001-2014

Труды ОмГУ

История ОмГУ

Сводный каталог периодических изданий вузовских библиотек г.Омска

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=КАФЕДРА МАТЕМАТИЧЕСКОЙ ЛОГИКИ И ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ<.>)

Общее количество найденных документов : 5
Показаны документы с 1 по 5

Алексей Георгиевич Мясников // Омский университет. - 2013. - 14 окт. (№ 17). - С. 9
Рубрики: Субъекты научной и научно-технической деятельности
Кл.слова (ненормированные):
ЗВАНИЯ -- ДОКТОРА -- ПРОФЕССОРА -- МЕХАНИКО-МАТЕМАТИЧЕСКИЙ ФАКУЛЬТЕТ -- ДИССЕРТАЦИИ -- КАФЕДРА МАТЕМАТИЧЕСКОЙ ЛОГИКИ И ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ -- ЛЕКЦИИ -- СПЕЦКУРСЫ
Аннотация: Звания "Почетный доктор ОмГУ им. Ф. М. Достоевского" был удостоен доктор физико-математических наук, профессор А. Г. Мясников.

Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А

Доп.точки доступа:
Мясников, Алексей Георгиевич (проф., д-р физ.-мат. наук, проф. ; 1955- ) \о нем\

Найти похожие

Беляев Владимир Яковлевич // Омск научный = Omsk scientific : справочник / Экон. ком. администрации Ом. обл., Ом. дом ученых. - Омск, 1993. - С. 60
Рубрики: Субъекты научной и научно-технической деятельности
Кл.слова (ненормированные):
ПРЕПОДАВАТЕЛИ -- МАТЕМАТИЧЕСКИЙ ФАКУЛЬТЕТ -- КАФЕДРА МАТЕМАТИЧЕСКОЙ ЛОГИКИ И ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ -- ТЕОРЕМЫ ВЛОЖЕНИЯ -- ПОЛУГРУППЫ -- АЛГЕБРАИЧЕСКИЕ СИСТЕМЫ -- НЕСТАНДАРТНЫЕ ЛОГИКИ
Аннотация: Дата рождения, занимаемая должность, научная степень, законченное учебное заведение, темы научных исследований.

Держатели документа:
Омский государственный университет. Библиотека : Омск-77, Пр. Мира, 55 А

Доп.точки доступа:
Колоколов, Александр Александрович \ред.\; Лизунов, Владимир Васильевич \ред.\; Новоселова, В. Б. \ред.\; Салохин, Николай Павлович \ред.\; Беляев, Владимир Яковлевич (доц., канд. физ.-мат. наук ; 1950- ) \о нем\; Администрация Омской области(Омск). Экономический комитет; Омский дом ученых(Омск)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Ремесленников Владимир Никанорович // Омск научный = Omsk scientific : справочник / Экон. ком. администрации Ом. обл., Ом. дом ученых. - Омск, 1993. - С. 123
Рубрики: Субъекты научной и научно-технической деятельности
Кл.слова (ненормированные):
ПРЕПОДАВАТЕЛИ -- ИНСТИТУТ МАТЕМАТИКИ И ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ -- ИМИТ -- КАФЕДРА МАТЕМАТИЧЕСКОЙ ЛОГИКИ И ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ -- ТЕОРИИ ГРУПП -- АЛГЕБРА -- АЛГОРИТМИЧЕСКИЕ ПРОБЛЕМЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Аннотация: Дата рождения, занимаемая должность, научная степень, законченное учебное заведение, темы научных исследований.

Держатели документа:
Омский государственный университет. Библиотека : Омск-77, Пр. Мира, 55 А

Доп.точки доступа:
Колоколов, Александр Александрович \ред.\; Лизунов, Владимир Васильевич \ред.\; Новоселова, В. Б. \ред.\; Салохин, Николай Павлович \ред.\; Ремесленников, Владимир Никанорович (проф., д-р физ.-мат. наук ; 1938-) \о нем\; Администрация Омской области(Омск). Экономический комитет; Омский дом ученых(Омск)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Ремесленников Владимир Никанорович // Энциклопедия Омской области : [в 2 т.]. - Омск, 2010. - Т. 2: М-Я. - С. 273
Рубрики: Субъекты научной и научно-технической деятельности
Кл.слова (ненормированные):
ИНСТИТУТ МАТЕМАТИКИ И ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ -- КАФЕДРА МАТЕМАТИЧЕСКОЙ ЛОГИКИ И ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ -- ПРЕПОДАВАТЕЛИ -- АЛГОРИТМИЧЕСКИЕ ПРОБЛЕМЫ -- ПОЛИЦИКЛИЧЕСКИЕ ГРУППЫ -- АЛГЕБРАИЧЕСКАЯ ГЕОМЕТРИЯ -- ВЕРОЯТНОСТНЫЕ ПОДХОДЫ -- ТЕОРИИ СВОБОДНОЙ ГРУППЫ
Аннотация: Доктор физико-математических наук, профессор В. Н. Ремесленников с 1978 года преподает в ОмГУ.

Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А

Доп.точки доступа:
Ремесленников, Владимир Никанорович (проф., д-р физ.-мат. наук ; 1938-) \о нем\

Найти похожие

Агалаков, Сергей Астафьевич.
Эконометрическое моделирование кадастровой стоимости земельных участков Омской области : [памяти Михаила Геннадьевича Лопаткова] / С. А. Агалаков // Вестник Омского университета = Herald of Omsk University . - 2015. - № 1. - С. 13-15
Рубрики: Субъекты научной и научно-технической деятельности
Кл.слова (ненормированные):
УЧЕНЫЕ ОМГУ -- ПРЕПОДАВАТЕЛИ -- ИНСТИТУТ МАТЕМАТИКИ И ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ -- КАФЕДРА МАТЕМАТИЧЕСКОЙ ЛОГИКИ И ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ
Аннотация: Публикация посвящена памяти Михаила Геннадьевича Лопаткова, кандидата физико-математических наук, доцента кафедры математической логики и логического программирования, заместителя директора ИМИТ ОмГУ по учебной работе.

Держатели документа:
Омский государственный университет. Библиотека : Омск-77, Пр. Мира, 55 А

Доп.точки доступа:
Лопатков, Михаил Геннадьевич (доц., канд. физ.-мат. наук, зам. директора ИМИТ ОмГУ по учеб. работе ; 1958-2013) \о нем\
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)