Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИПМех РАН
Главная
Поиск
Статистика
О проекте
Помощь
В связи с техническими работами в центре обработки данных, часть прикреплённых файлов в настоящее время недоступна.
скрыть
отправить сообщение
открыть новую версию профиля
Касим-Заде Октай Мурад оглы
пользователь
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
, с 1 декабря 1990
доктор физико-математических наук с 1997 года
профессор по кафедре с 1 января 2005 г.
Соавторы:
Алексеев В.Б.
,
Albrecht A.A.
,
Iliopoulos C.S.
,
Lappas G.
,
Steinhöfel K.K.
,
Medvedev Y. .
,
Sachkov V. .
,
Мазалов В. .
,
Аблаев Ф.М.
,
Айвазян С.А.
,
Ватутин В.А.
,
Глухов М.М.
,
Грушо А.А.
показать полностью...
,
Емеличев В.А.
,
Журавлев Ю.И.
,
Зубков А.М.
,
Зыков К.А.
,
Ивченко Г.И.
,
Каштанов В.А.
,
Коваленко И.Н.
,
Кудрявцев В.Б.
,
Матиясевич Ю.В.
,
Михайлов В.Г.
,
Павлов Ю.Л.
,
Погорелов Б.А.
,
Применко Э.А.
,
Савельев Л.Я.
,
Степанов С.А.
,
Таранников Ю.В.
,
Чашкин А.В.
,
Чистяков В.П.
,
Чубариков В.Н.
53 статьи
,
1 книга
,
3 доклада на конференциях
,
2 тезисов докладов
,
5 НИР
,
2 членства в редколлегиях журналов
,
3 членства в редколлегиях сборников
,
7 членств в программных комитетах
,
3 членства в диссертационных советах
,
8 диссертаций
,
6 дипломных работ
,
2 курсовые работы
,
4 учебных курса
Количество цитирований статей в журналах по данным Web of Science: 9, Scopus: 21
РИНЦ:
IstinaResearcherID (IRID): 2745123
Деятельность
Статьи в журналах
2016
Валентин Федорович Колчин (1934–2016)
Айвазян С.А.
,
Алексеев В.Б.
,
Ватутин В.А.
,
Глухов М.М.
,
Грушо А.А.
,
Емеличев В.А.
,
Зубков А.М.
,
Ивченко Г.И.
,
Касим-Заде О.М.
,
Каштанов В.А.
,
Коваленко И.Н.
,
Кудрявцев В.Б.
,
Мазалов В.В.
,
Матиясевич Ю.В.
,
Медведев Ю.И.
,
Михайлов В.Г.
,
Павлов Ю.Л.
,
Погорелов Б.А.
,
Применко Э.А.
,
Савельев Л.Я.
,
Сачков В.Н.
,
Степанов С.А.
,
Чистяков В.П.
,
Чубариков В.Н.
в журнале
Дискретная математика
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, том 28, № 4, с. 3-5
2014
XVII международная конференция “Проблемы теоретической кибернетики”
Журавлев Ю.И.
,
Аблаев Ф.М.
,
Алексеев В.Б.
,
Касим-Заде О.М.
в журнале
Ученые записки Казанского университета. Серия Физико-математические науки
, издательство
Федеральное государственное автономное образовательное учреждение высшего образования "Казанский (Приволжский) федеральный университет"
(Казань)
, том 156, № 3, с. 5-6
2013
Depth of Boolean functions realized by circuits over an arbitrary infinite basis
Kasim-Zade O.M.
в журнале
Moscow University Mathematics Bulletin
, издательство
Allerton Press Inc.
(United States)
, том 68, № 1, с. 69-70
DOI
2013
Orders of growth of Shannon functions for circuit complexity over infinite bases
Kasim-Zade O.M.
в журнале
Moscow University Mathematics Bulletin
, издательство
Allerton Press Inc.
(United States)
, том 68, № 3, с. 170-172
DOI
2013
О ПОРЯДКАХ РОСТА ФУНКЦИЙ ШЕННОНА СЛОЖНОСТИ СХЕМ НАД БЕСКОНЕЧНЫМИ БАЗИСАМИ
Касим-Заде О.М.
в журнале
Вестник Московского университета. Серия 1: Математика. Механика
, издательство
Изд-во Моск. ун-та
(М.)
, № 3, с. 55-57
2013
О порядках роста функций Шеннона сложности схем над бесконечными базисами
Касим-Заде О.М.
в журнале
Вестник Московского университета. Серия 1: Математика. Механика
, издательство
Изд-во Моск. ун-та
(М.)
, № 3, с. 55-57
2012
О глубине булевых функций при реализации схемами над произвольным бесконечным базисом
Касим-Заде О.М.
в журнале
Вестник Московского университета. Серия 1: Математика. Механика
, издательство
Изд-во Моск. ун-та
(М.)
, № 6, с. 55-57
2010
A note on a priori estimations of classification circuit complexity
Albrecht A.A.
,
Chashkin A.V.
,
Iliopoulos C.S.
,
Kasim-Zade O.M.
,
Lappas G.
,
Steinhöfel K.K.
в журнале
Fundamenta Informaticae
, издательство
I O S press
(Netherlands)
, том 104, № 3, с. 201-217
2008
Depth of Boolean functions over an arbitrary infinite basis
Kasim-Zade O.M.
в журнале
Journal of Applied and Industrial Mathematics
, издательство
Maik Nauka/Interperiodica Publishing
(Russian Federation)
, том 2, № 2, с. 196-210
DOI
2008
On the Complexity of Realization of Boolean Functions by Circuits Over an Infinite Basis
Kasim-Zade O.M.
в журнале
Journal of Applied and Industrial Mathematics
, издательство
Maik Nauka/Interperiodica Publishing
(Russian Federation)
, том 2, № 2, с. 196-210
DOI
2007
Implicit completeness in the k-valued logic
Kasim-Zade O.M.
в журнале
Moscow University Mathematics Bulletin
, издательство
Allerton Press Inc.
(United States)
, том 62, № 3, с. 90-94
DOI
2007
The depth of Boolean functions realized by circuits over an arbitrary basis
Kasim-Zade O.M.
в журнале
Moscow University Mathematics Bulletin
, издательство
Allerton Press Inc.
(United States)
, том 62, № 1, с. 18-21
DOI
2007
О глубине булевых функций над произвольным бесконечным базисом
Касим-Заде О.М.
в журнале
Дискретный анализ и исследование операций. Серия 1
, том 14, № 1, с. 45-69
2007
О неявной полноте в к-значной логике
Касим-Заде О.М.
в журнале
Вестник Московского университета. Серия 1: Математика. Механика
, издательство
Изд-во Моск. ун-та
(М.)
, № 3, с. 10-14
2004
Об одном методе получения оценок сложности схем над произвольным бесконечным базисом
Касим-Заде О.М.
в журнале
Дискретный анализ и исследование операций. Серия 1
, том 11, № 2, с. 41-65
2001
On minimal coverings of the Boolean cube by centered antichains
Kasim-Zade O.M.
в журнале
Discrete Applied Mathematics
, издательство
Elsevier BV
(Netherlands)
, том 114, № 1-3, с. 147-153
DOI
2001
О поведении функций Шеннона сложности параметрических представлений булевых функций. Вестник Московского университета
Касим-Заде О.М.
в журнале
Вестник Московского университета. Серия 1: Математика. Механика
, издательство
Изд-во Моск. ун-та
(М.)
, № 3, с. 66-68
1997
О минимальных покрытиях булева куба центрированными антицепями
Касим-Заде О.М.
в журнале
Дискретный анализ и исследование операций. Серия 1
, том 4, № 3, с. 9-17
1997
Общая верхняя оценка сложности схем в произвольном бесконечном полном базисе
Касим-Заде О.М.
в журнале
Вестник Московского университета. Серия 1: Математика. Механика
, издательство
Изд-во Моск. ун-та
(М.)
, № 4, с. 59-61
1996
Implicit expressibility in two-valued logic and crypto-isomorphisms of two-element algebras
Kasim-Zade O.M.
в журнале
Doklady Mathematics
, издательство
Maik Nauka/Interperiodica Publishing
(Russian Federation)
, том 53, № 3, с. 366-368
1996
О неявной выразимости в двузначной логике и криптоизоморфизмах двухэлементных алгебр
Касим-Заде О.М.
в журнале
Доклады Академии наук
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, том 348, № 3, с. 299-301
1996
О синтезе сетей из функциональных элементов
Касим-Заде О.М.
в журнале
Доклады Академии наук
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, том 348, № 2, с. 159-161
1995
On implicit expressibility of Boolean functions
Kasim-Zade O.M.
в журнале
Moscow University Mathematics Bulletin
, издательство
Allerton Press Inc.
(United States)
, том 50, № 2, с. 42-45
1995
О классах булевых функций, инвариантных относительно подстановки функций от одной переменной
Касим-Заде О.М.
в журнале
Вестник Московского университета. Серия 1: Математика. Механика
, издательство
Изд-во Моск. ун-та
(М.)
, № 3, с. 79-82
1995
О неявной выразимости булевых функций
Касим-Заде О.М.
в журнале
Вестник Московского университета. Серия 1: Математика. Механика
, издательство
Изд-во Моск. ун-та
(М.)
, № 2, с. 44-49
1995
О сложности реализации булевых функций схемами в одном бесконечном базисе
Касим-Заде О.М.
в журнале
Дискретный анализ и исследование операций
, издательство
Изд-во Ин-та математики
(Новосибирск)
, том 2, № 1, с. 7-20
1994
О неявной выразимости булевых функций
Касим-Заде О.М.
в журнале
Сибирский журнал исследования операций
, том 1, № 1, с. 79-80
1994
О неявной выразимости булевых функций
Касим-Заде О.М.
в журнале
Сибирский журнал исследования операций
, том 1, № 1, с. 79-80
1994
О сложности схем в одном бесконечном базисе
Касим-Заде О.М.
в журнале
Вестник Московского университета. Серия 1: Математика. Механика
, издательство
Изд-во Моск. ун-та
(М.)
, № 6, с. 40-44
1980
Об одной мере сложности схем из функциональных элементов.
Касим-Заде О.М.
в журнале
Доклады Академии наук
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, том 250, № 4, с. 797-800
Статьи в сборниках
2016
О точных значениях сложности чисел при реализации схемами из единичных сопротивлений
Касим-Заде О.М.
в сборнике
Материалы XII Международного семинара «Дискретная математика и ее приложения» имени академика О.Б.Лупанова (Москва, МГУ, 20-25 июня 2016 г.)
, место издания
Изд-во механико-математического факультета МГУ Москва
, с. 134-137
редактор
Касим-Заде Октай Мурад оглы
2012
Об оценках глубины булевых функций при реализации схемами над произвольным бесконечным базисом.
Касим-Заде О.М.
в сборнике
Материалы XI Международного семинара «Дискретная математика и ее приложения», посвященного 80-летию со дня рождения академика О.Б.Лупанова (Москва, МГУ, 18-23 июня 2012 г.)
, место издания
Изд-во механико-математического факультета МГУ Москва
, с. 125-128
2006
О метрических свойствах обобщенных инвариантных классов
Касим-Заде О.М.
в сборнике
Математические вопросы кибернетики
, серия
Математические вопросы кибернетики
, место издания
Физматлит Москва
, том 15, с. 9-34
редактор
Зыков Константин Анатольевич
2004
Инвариантный класс
Касим-Заде О.М.
в сборнике
Дискретная математика: Энциклопедия / Гл. ред. В.Я.Козлов
, место издания
М.: Большая Российская энциклопедия
, с. 42-43
2004
О неявных формах выразимости в многозначных логиках
Касим-Заде О.М.
в сборнике
Всероссийская конференция «Дискретный анализ и исследование операций» (Новосибирск, июнь 2004 г.). Материалы конференции / Пленарные и обзорные доклады
, место издания
Новосибирск: Изд-во ИМ СО РАН
, с. 32-35
2004
Управляющих систем меры сложности
Касим-Заде О.М.
в сборнике
Дискретная математика: Энциклопедия / Гл. ред. В.Я.Козлов
, место издания
М.: Большая Российская энциклопедия
, с. 281
2002
Об одном методе получения оценок сложности схем над бесконечными базисами.
Касим-Заде О.М.
в сборнике
Математические вопросы кибернетики
, серия
Математические вопросы кибернетики
, место издания
М.: Физматлит
, том 11, с. 247-254
редактор
Зыков Константин Анатольевич
2001
О минимальных разбиениях плоских прямоугольников на квадраты
Касим-Заде О.М.
в сборнике
Материалы VII Международного семинара «Дискретная математика и ее приложения» (Москва, МГУ, 29 января – 2 февраля 2001 г.)
, место издания
М.: Изд-во ЦПИ при мех.-мат. ф-те МГУ
, с. 263-265
1999
О сложности реализации функций в одном классе алгоритмов
Касим-Заде О.М.
в сборнике
Материалы IX Межгосударственной школы-семинара "Синтез и сложность управляющих систем" ( Нижний Новгород, 16--19 декабря 1998 г.)
, место издания
Изд-во механико-математического факультета МГУ Москва
, с. 25-30
1998
О мощности индивидуальных функций
Касим-Заде О.М.
в сборнике
Сб. трудов семинара по дискретной математике и ее приложениям (2-4 февраля 1993 г.)
, место издания
М.: Изд-во мех.-мат. ф-та МГУ
, с. 63-65
1998
О сложности параметрических представлений булевых функций
Касим-Заде О.М.
в сборнике
Математические вопросы кибернетики
, серия
Математические вопросы кибернетики
, место издания
Физматлит Москва
, том 7, с. 85-160
1997
Complexity and combinatorial aspects of informatics systems
Zykov K.A.
,
Kasim-Zadeh O.M.
,
Tarannikov Yu V.
в сборнике
Proceedings of the Conference on Applied Mathematics and Computer Science, 28-29 October 1996, Moskow, Russia
, место издания
Издательство механико-математического факультета МГУ Moscow
, с. 82-90
1997
On the complexity of schemes of unit resistances, and some properties of Fibonacci numbers
Kasim-Zadeh O.M.
в сборнике
Proceedings of the Steklov Institute of Mathematics
, серия
Proceedings of the Steklov Institute of Mathematics
, том 218, с. 228-242
1997
О сложности схем из единичных сопротивлений и о некоторых свойствах чисел Фибоначчи
Касим-Заде О.М.
в сборнике
Аналитическая теория чисел и приложения
, серия
Труды Математического Института им. В.А.Стеклова
, том 218, с. 233-247
1996
Об одной метрической характеристике неявных и параметрических представлений булевых функций
Касим-Заде О.М.
в сборнике
Математические вопросы кибернетики
, серия
Математические вопросы кибернетики
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, том 6, с. 133-188
1992
Об одной мере активности схем из функциональных элементов.
Касим-Заде О.М.
в сборнике
Математические вопросы кибернетики
, серия
Математические вопросы кибернетики
, место издания
Наука Москва
, том 4, с. 218-228
1989
О влиянии базиса на активность схем из функциональных элементов
Касим-Заде О.М.
в сборнике
Труды Всесоюзного семинара по дискретной математике и ее приложениям
, место издания
М.: Изд-во МГУ
, с. 143-145
1989
О сложности реализации булевых функций в одной модели электронных схем.
Касим-Заде О.М.
в сборнике
Математические вопросы кибернетики
, серия
Математические вопросы кибернетики
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, том 2, с. 145-160
1987
Об активности схем из функциональных элементов
Касим-Заде О.М.
в сборнике
Математические вопросы кибернетики. Сб. докладов III Международного рабочего семинара МВК-87 (Братислава, 1987 г.)
, серия
Математические вопросы кибернетики
, место издания
Изд. ун-та им. Я. Коменского Братислава
, том 1, с. 26-29
1986
О сложности монотонных многочленов
Касим-Заде О.М.
в сборнике
Материалы Всесоюзного семинара по дискретной математике и ее приложениям
, место издания
М.: Изд-во МГУ
, с. 136-138
1982
О мощности схем в базисах некоторых типов.
Касим-Заде О.М.
в сборнике
Дискретная математика и математическая кибернетика
, серия
Вопросы кибернетики
, место издания
М.: ВЦ АН СССР
, том 86, с. 77-93
редактор
Яблонский Сергей Всеволодович
1981
Об одной мере сложности схем из функциональных элементов
Касим-Заде О.М.
в сборнике
Проблемы кибернетики
, серия
Проблемы кибернетики
, место издания
Наука Москва
, том 38, с. 117-179
1978
Об одновременной минимизации сложности и мощности схем из функциональных элементов.
Касим-Заде О.М.
в сборнике
Проблемы кибернетики
, серия
Проблемы кибернетики
, место издания
М.: Наука
, том 33, с. 215-220
Книги
2004
Одна экстремальная задача комбинаторного анализа
Касим-Заде О.М.
место издания
М.: Изд-во мех.-мат. ф-та МГУ, 2004
, ISBN 978-5-458-26668-0, 88 с.
Доклады на конференциях
2016
О некоторых задачах теории сложности
(Пленарный)
Автор:
Касим-Заде О.М.
Х I Международная научная конференция «Интеллектуальные системы и компьютерные науки»
, Москва, Россия, 28 ноября - 2 декабря 2016
2016
О точных значениях сложности чисел при реализации схемами из единичных сопротивлений
(Устный)
Автор:
Касим-Заде О.М.
Двенадцатый Международный семинар «Дискретная математика и ее приложения» имени академика О.Б.Лупанова (Москва, МГУ, 20-25 июня 2016 г.)
, Москва, Россия, 20-25 июня 2016
2012
Об оценках глубины булевых функций при реализации схемами над произвольным бесконечным базисом
(Устный)
Автор:
Касим-Заде О.М.
Одиннадцатый Международный семинар "Дискретная математика и ее приложения", посвященный 80-летию со дня рождения академика О.Б.Лупанова. Москва, 18-23 июня 2012 г.
, Москва, МГУ, Россия, 18-23 июня 2012
Тезисы докладов
2005
О глубине булевых функций над бесконечными базисами
Касим-Заде О.М.
в сборнике
Проблемы теоретической кибернетики. Тезисы докладов XIV Международной конференции (Пенза, 23-28 мая 2005 г.)
, серия
Проблемы теоретической кибернетики
, место издания
Изд-во механико-математического факультета МГУ Москва
, тезисы, с. 60
1996
О ранге параметрических и неявных представлений булевых функций
Касим-Заде О.М.
в сборнике
Второй Сибирский конгресс по прикладной и индустриальной математике. Тезисы докладов
, место издания
Институт математики СО РАН Новосибирск
, том 2, тезисы, с. 115-116
НИРы
1 января 2018 - 31 декабря 2020
Проблемы синтеза, сложности и надежности в теории управляющих систем
Кафедра дискретной математики
Руководитель:
Касим-Заде О.М.
Участники НИР:
Гашков С.Б.
,
Дудакова О.С.
,
Колпаков Р.М.
,
Комбаров Ю.А.
,
Кочергин А.В.
,
Кочергин В.В.
,
Редькин Н.П.
,
Чашкин А.В.
,
Яшунский А.Д.
1 января 2016 - 31 декабря 2020
Дискретная математика и математическая кибернетика (2016-2020)
Кафедра дискретной математики
Руководитель:
Касим-Заде О.М.
Участники НИР:
Гашков С.Б.
,
Дудакова О.С.
,
Ковалёв М.Д.
,
Колпаков Р.М.
,
Комбаров Ю.А.
,
Кочергин В.В.
,
Макаров В.С.
,
Редькин Н.П.
,
Таранников Ю.В.
,
Чашкин А.В.
,
Яшунский А.Д.
1 января 2014 - 31 декабря 2016
Вопросы синтеза, сложности и контроля управляющих систем
Кафедра дискретной математики
Руководитель:
Касим-Заде О.М.
Участники НИР:
Гашков С.Б.
,
Дудакова О.С.
,
Колпаков Р.М.
,
Комбаров Ю.А.
,
Кочергин В.В.
,
Редькин Н.П.
,
Чашкин А.В.
,
Яшунский А.Д.
1 января 2011 - 31 декабря 2015
Дискретная математика и математическая кибернетика
Кафедра дискретной математики
Руководитель:
Касим-Заде О.М.
Участники НИР:
Гашков С.Б.
,
Дудакова О.С.
,
Ковалёв М.Д.
,
Колпаков Р.М.
,
Комбаров Ю.А.
,
Кочергин В.В.
,
Макаров В.С.
,
Редькин Н.П.
,
Таранников Ю.В.
,
Чашкин А.В.
,
Яшунский А.Д.
1 января 2011 - 31 декабря 2013
Синтез, сложность и контроль управляющих систем
Механико-математический факультет
Руководитель:
Касим-Заде О.М.
Участники НИР:
Зыков К.А.
,
Колпаков Р.М.
,
Кочергин В.В.
,
Редькин Н.П.
,
Угольников А.Б.
,
Чашкин А.В.
,
Яшунский А.Д.
Участие в редколлегии журналов
с 1 января 2003
Дискретная математика
издательство
ФГБУ "Издательство "Наука"
(Москва)
с 1 января 2002
Дискретный анализ и исследование операций
издательство
Изд-во Ин-та математики
(Новосибирск)
Участие в редколлегии сборников
2016
Материалы XII Международного семинара «Дискретная математика и ее приложения» имени академика О.Б.Лупанова (Москва, МГУ, 20-25 июня 2016 г.)
член редколлегии:
Касим-Заде О.М.
место издания
Изд-во механико-математического факультета МГУ Москва
2014
Математические вопросы кибернетики
член редколлегии:
Касим-Заде О.М.
серия
Математические вопросы кибернетики
, том 18
место издания
Физматлит, Москва
2012
Материалы XI Международного семинара «Дискретная математика и ее приложения», посвященного 80-летию со дня рождения академика О.Б.Лупанова (Москва, МГУ, 18-23 июня 2012 г.)
член редколлегии:
Касим-Заде О.М.
место издания
Изд-во механико-математического факультета МГУ , Москва
Участие в программных комитетах конференций
19-23 июня 2017
XVIII Международная конференция «Проблемы теоретической кибернетики» (Пенза, 19-23 июня 2017 г.)
Заместитель председателя организационного комитета
Пенза, Россия
20-25 июня 2016
Двенадцатый Международный семинар «Дискретная математика и ее приложения» имени академика О.Б.Лупанова (Москва, МГУ, 20-25 июня 2016 г.)
Председатель организационного комитета
Москва, Россия
5-11 октября 2015
Десятая молодежная научная школа по дискретной математике и ее приложениям (Москва, 6-8 октября 2015 г.)
Член программного комитета
Институт прикладной математики им. М.В. Келдыша Российской академии наук, Россия
20-22 мая 2015
IX Международная конференция "Дискретные модели в теории управляющих систем" ( Москва и Подмосковье, 20-22 мая 2015 г.)
Член организационного комитета
Москва и Подмосковье, Россия
16-20 июня 2014
XVII международная конференция “Проблемы теоретической кибернетики” (Казань, 16-20 июня 2014 г. )
Заместитель председателя организационного комитета
Казань, Россия
16-21 сентября 2013
Девятая молодежная научная школа по дискретной математике и ее приложениям (Москва, 16-21 сентября 2013 г.)
Член программного комитета
Москва, Россия
18-23 июня 2012
Одиннадцатый Международный семинар "Дискретная математика и ее приложения", посвященный 80-летию со дня рождения академика О.Б.Лупанова. Москва, 18-23 июня 2012 г.
Председатель организационного комитета
Москва, МГУ, Россия
Членство в диссертационных советах
5 сентября 2017 - 31 декабря 2019
МГУ.011.4(01.17), МГУ имени М.В. Ломоносова, Механико-математический факультет
01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Действующие члены совета:
Чубариков В.Н.
,
Иванов А.О.
,
Мануйлов В.М.
,
Алексеев В.Б.
,
Беклемишев Л.Д.
,
Богатый С.А.
,
Гасанов Э.Э.
,
Гашков С.Б.
,
Геворкян П.С.
,
Зайцев М.В.
,
Кочергин В.В.
,
Мищенко А.С.
,
Нестеренко Ю.В.
,
Орлов Д.О.
,
Панов Т.Е.
,
Садовничий Ю.В.
,
Селезнева С.Н.
,
Тюрин Н.А.
,
Фоменко А.Т.
,
Чирский В.Г.
,
Шафаревич А.И.
,
Шелехов А.М.
5 сентября 2017 - 31 декабря 2018
МГУ.01.16, МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
8 февраля 2008 - 31 августа 2017
Д 501.001.84, МГУ имени М.В. Ломоносова, Механико-математический факультет
01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Руководство диссертациями
2017
Оценки сложности булевых функций в некоторых бесконечных базисах
Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
Автор:
Подольская Ольга Викторовна
Научный руководитель:
Касим-Заде О.М.
, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
Защищена в совете
Д 501.001.84
при МГУ имени М.В. Ломоносова, Механико-математический факультет
2013
О глубине функций многозначной логики
Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
Автор:
Кочергин Алексей Вадимович
Научный руководитель:
Касим-Заде О.М.
, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
Защищена в совете
Д 501.001.84
при МГУ имени М.В. Ломоносова, Механико-математический факультет
2012
Об одной мере сложности неявных представлений функций многозначной логики
Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
Автор:
Михайлец Екатерина Викторовна
Научный руководитель:
Касим-Заде О.М.
, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
Защищена в совете
Д 501.001.84
при МГУ имени М.В. Ломоносова, Механико-математический факультет
2007
О вероятностях значений случайных булевых выражений
Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
Автор:
Яшунский Алексей Дмитриевич
, д.ф.-м.н., МГУ имени М.В. Ломоносова, Институт прикладной математики им. М. В. Келдыша РАН
Научный руководитель:
Касим-Заде О.М.
, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
Защищена в совете
Д 501.001.84
при МГУ имени М.В. Ломоносова, Механико-математический факультет
2004
О критериях полноты по неявной выразимости в трехзначной логике
Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
Автор:
Орехова Елена Андреевна
Научный руководитель:
Касим-Заде О.М.
, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
Защищена в совете
Д 501.001.84
при МГУ имени М.В. Ломоносова, Механико-математический факультет
2004
Тестовые задачи на графах
Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
Автор:
Дебрев Евгений Валерьевич
Научный руководитель:
Касим-Заде О.М.
, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
Защищена в совете
Д 501.001.84
при МГУ имени М.В. Ломоносова, Механико-математический факультет
Диссертации
1996
О синтезе некоторых классов управляющих систем, связанных с неявными и параметрическими представлениями булевых функций
Докторская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
Автор:
Касим-Заде О.М.
, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
Защищена в совете
при МГУ им. М. В. Ломоносова
Организация, в которой выполнялась работа:
Механико-математический факультет МГУ им. М. В. Ломоносова
1980
Об одной мере сложности схем из функциональных элементов
Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
Автор:
Касим-Заде О. М.
, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
Научный руководитель:
Лупанов О.Б.
Защищена в совете
при ВЦ АН СССР
Организация, в которой выполнялась работа:
ИПМ имени М. В. Келдыша АН СССР
Руководство дипломными работами
2014
О неявно предполных классах функций трехзначной логики
Научный руководитель:
Касим-Заде О.М.
Автор: Старостин М. В. (Специалист)
2012
О сложности схем, реализующих некоторые классы булевых функций
Научный руководитель:
Касим-Заде О.М.
Автор: Пентина А. В. (Специалист)
2012
О сложности схем в одном бесконечном базисе
Научный руководитель:
Касим-Заде О.М.
Автор: Подольская О. В. (Специалист)
2012
О сложности реализации функций трехзначной логики в одном классе схем
Научный руководитель:
Касим-Заде О.М.
Автор: Угольникова А. А. (Специалист)
2012
О сложности клеточных схем, реализующих некоторые системы булевых функций
Научный руководитель:
Касим-Заде О.М.
Автор: Гусева Ю. В. (Специалист)
2012
О некоторых задачах, касающихся конечных автоматов
Научный руководитель:
Касим-Заде О.М.
Автор: Фролова А. А. (Специалист)
Руководство курсовыми работами
2013
О неявно предполных классах в трехзначной логике
Научный руководитель:
Касим-Заде О.М.
Автор: Старостин М. В. (Специалист)
2012
О свойствах неявно предполных классов в многозначных логиках
Научный руководитель:
Касим-Заде О.М.
Автор: Старостин М. В. (Специалист)
Авторство учебных курсов
2011
Математическая логика
Авторы:
Касим-Заде О.М.
,
Колпаков Р.М.
2009
Модели и методы дискретной математики
Автор:
Касим-Заде О.М.
2007
Теория сложности
Автор:
Касим-Заде О.М.
Преподавание учебных курсов
с 1 сентября 2007
Теория сложности
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра дискретной математики
обязательная, по выбору (спецкурс), лекции, 72 часов
с 1 сентября 2007
Теория графов и ее приложения
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра дискретной математики
обязательная, по выбору (спецкурс), лекции, 72 часов