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

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

Базы данных

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

Вид поиска

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

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

Труды ОмГУ

История ОмГУ

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

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

в найденном

Найдено в других БД:

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

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

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

Поисковый запрос: (<.>R=27.03.19$<.>)

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

1-10 11-20 21-30 31-35

   В12
   Ч-651

    Чирков, Игорь Викторович.
    Автоморфизмы и системы примитивных элементов приведенно свободных алгебр : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / И. В. Чирков ; Ом. гос. ун-т. - Омск, 2000. - 21 с. ; 21 см. - Библиогр.: с. 20-21. - 50 экз.. -

ГРНТИ

27.03.19

ББК В12
Рубрики: Логика математическая--Авторефераты диссертаций

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

Доп.точки доступа:
Омский государственный университет (Омск)
Экземпляры всего: 1
ДФ (1)
Свободны: ДФ (1)
Найти похожие

   В12
   Ш 371

    Шевелин, Михаил Александрович.
    Делители нуля в ограниченных универсальных обертывающих алгебрах : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / М. А. Шевелин ; Ом. гос. ун-т. - Омск, 1998. - 13 с. ; 21 см. - Библиогр.: с. 11-13. - 100 экз.. -

ГРНТИ

27.03.19

ББК В12
Рубрики: Логика математическая--Авторефераты диссертаций

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

Доп.точки доступа:
Омский государственный университет (Омск)
Экземпляры всего: 1
ДФ (1)
Свободны: ДФ (1)
Найти похожие

   В12
   С 794


    Степени неразрешимости в обобщенной вычислимости : отчет о НИР / Ом. гос. ун-т ; Рук. И. В. Ашаев. - Омск, 1999. - 26 с. - № ГР 01990002249. - Инв.№ 02990006279
Не просмотрено de visu.

ГРНТИ

27.03.19

ББК В12
Рубрики: Логика математическая

Доп.точки доступа:
Ашаев, Игорь Викторович \рук.\; Омский государственный университет (Омск)
Свободных экз. нет
Найти похожие

   В12
   A 18

    Ashaev, Igor Viktorovich.
    Priority method in generalized computability / I. V. Achaev // Recursion Theory and Complexity : proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997. - [S. I.] : Walter De Gruyter, 1999. - P. 1-13. - (Series in Logic and Its Applications ; 2). - Не просмотрено de visu.

ГРНТИ

27.03.19

ББК В12
Рубрики: Логика математическая

Доп.точки доступа:
Ашаев, Игорь Викторович

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

   В12
   Г 977

    Гуц, Александр Константинович.
    Интуиционистская логика и сигнатура пространства-времени / А. К. Гуц, А. А. Звягинцев // Логика и приложения : тез. междунар. конф., посвящ. 60-летию со дня рождения Ю. Л. Ершова, г. Новосибирск, 4-6 мая 2000 г. / Ин-т дискрет. математики и информатики [и др.]. - Новосибирск, 2000. - С. 38-39. - Не просмотрено de visu

ГРНТИ

27.03.19

29.05.41

ББК В12 + В313.3
Рубрики: Логика математическая
Относительности теория--Время

Доп.точки доступа:
Звягинцев, А. А.; Институт дискретной математики и информатики(Новосибирск)

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

   В14
   V 39

    Ventura, E.
    The twisted conjugacy problem for endomorphisms of metabelian groups / E. Ventura, V. A. Romankov // Algebra and Logic. - 2009. - Vol. 48, is. 2. - P. 89-98. - На рус. яз.: Алгебра и логика. - 2009. - Т. 48, № 2. - С. 157-173. - Не просмотрено de visu

ГРНТИ

27.03.19

ББК В144.3
Рубрики: Группы (мат.)

Перейти: Текст

Доп.точки доступа:
Romankov, Vitaliy Anatolyevich; Романьков, Виталий Анатольевич; Вентура Э.

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

   В12
   Б 733

    Богаченко, Надежда Федоровна.
    Элементы логики высказываний и теории множеств : учеб.-метод. пособие [для вузов] / Н. Ф. Богаченко, О. Т. Данилова, Р. Т. Файзуллин ; [авт. ред.] ; Ом. гос. ун-т им. Ф. М. Достоевского, Фак. компьютер. наук, Каф. информ. безопасности. - Омск : Наследие. Диалог-Сибирь, 2005. - 135 с. : ил. ; 21 см. - На обороте тит. л. авт. указаны как сост.- На обл. авт. не указаны. - Библиогр.: с. 133-134. - 100 экз.. - 61.90 р.
    Содержание:
Высказывания. Логические операции над высказываниями . - С .14-63
Общие сведения из теории множеств . - С .63-132

ГРНТИ

27.03.19

ББК В12я73
Рубрики: Логика математическая--Учебники и пособия
Множеств теория--Учебники и пособия

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

Доп.точки доступа:
Данилова, Ольга Тимофеевна; Файзуллин, Рашит Тагирович; Омский государственный университет им. Ф. М. Достоевского (Омск). Факультет компьютерных наук, Кафедра информационной безопасности
Экземпляры всего: 1
НБО (1)
Свободны: НБО (1)
Найти похожие

   В12
   Б 539

    Бесценный, Игорь Павлович.
    Практикум по математической логике : [учеб.-метод. пособие для вузов] / И. П. Бесценный ; [авт. ред.] ; Ом. гос. ун-т, Фак. компьютер. наук, Каф. кибернетики. - Омск : Изд-во ОмГУ, 2008. - 37 с. : ил. ; 21 см. - Библиогр.: с. 36. - Из содерж.: Исчисление высказываний ; Исчисление предикатов. - 130 экз.. -

ГРНТИ

27.03.19

ББК В12я73
Рубрики: Логика математическая--Учебные издания

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

Доп.точки доступа:
Омский государственный университет (Омск). Факультет компьютерных наук, Кафедра кибернетики
Экземпляры всего: 100
ДФ (1), ЕА (99)
Свободны: ДФ (1), ЕА (99)
Найти похожие

   В12
   Б 539

    Бесценный, Игорь Павлович.
    Практикум по модальной логике : [учеб.-метод. пособие : для студентов вузов, обучающихся по специальности 230101.65 "Вычисл. машины, комплексы, системы и сети"] / И. П. Бесценный ; Ом. гос. ун-т им., Фак. компьютер. наук, Каф. кибернетики. - Омск : Изд-во ОмГУ, 2009. - 31 с. ; 21 см. - Библиогр.: с. 30. - 130 экз.
    Содержание:
Понятие модальности . - С .4-6
Алетические модальности . - С .7-12
Деонтические модальности . - С .13-15
Эпистемические модальности . - С .16-22
Задания . - С .23-29

ГРНТИ

27.03.19

ББК В12я73
Рубрики: Логика математическая--Учебные издания для высших учебных заведений

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

Доп.точки доступа:
Омский государственный университет им. Ф. М. Достоевского (Омск). Факультет компьютерных наук, Кафедра кибернетики
Экземпляры всего: 100
ЕА (100)
Свободны: ЕА (100)
Найти похожие

10.

   В12
   В 927

    Выплов, М. Ю.
    Системы множеств и операторы слабого замыкания [Текст] / М. Ю. Выплов, В. П. Ильев // Проблемы оптимизации и экономические приложения : IV Всерос. конф., Омск, 29 июня - 4 июля 2009 : материалы конф. / Рос. акад. наук, Сиб. отд-ние, Ин-т математики им. С. Л. Соболева, Ом. фил. - Омск, 2009. - С. 119

ГРНТИ

27.03.19

ББК В126
Рубрики: Множеств теория

Доп.точки доступа:
Ильев, Виктор Петрович

Имеются экземпляры в отделах: всего 1 : НГА (1)
Свободны: НГА (1)

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

1-10 11-20 21-30 31-35

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