Шаблон:Current Seminars — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Доклады на спецсеминарах)
(→‎Доклады на спецсеминарах)
Строка 8: Строка 8:
 
|-
 
|-
 
|colspan="3"|'''[[Дискретные функции и сложность алгоритмов]]'''
 
|colspan="3"|'''[[Дискретные функции и сложность алгоритмов]]'''
−
{{announce Seminar|30 сентября 2016 года
+
{{announce Seminar|
−
| Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61.
+
|  
−
| Нургалиев М.}}
+
| }}
  
 
|-
 
|-
 
|colspan="3"|'''[[Дискретный анализ]]'''
 
|colspan="3"|'''[[Дискретный анализ]]'''
−
{{announce Seminar| 30 сентября 2016 г.
+
{{announce Seminar|  
−
| Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61.
+
|  
−
| Нургалиев М.}}
+
| }}
  
 
|-
 
|-
Строка 33: Строка 33:
 
|-
 
|-
 
|colspan="3"|'''[[Сложность решения дискретных задач]]'''
 
|colspan="3"|'''[[Сложность решения дискретных задач]]'''
−
{{announce Seminar| 30 сентября 2016 г.
+
{{announce Seminar|  
−
| Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61.
+
|  
−
| Нургалиев М.}}
+
| }}
 
   
 
   
 
|-
 
|-
Строка 47: Строка 47:
  
 
| П. Булгаков }}
 
| П. Булгаков }}
−
 
−
 
  
  

Версия 12:58, 5 марта 2017

Доклады на спецсеминарах

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Дискретный анализ
Теория управляющих систем и математические модели СБИС и Некоторые вопросы теории управляющих систем
17 февраля 2017 г. ауд. 507 Доклад по статье Храпченко В. М. «О соотношении между сложностью и глубиной формул» Кинжикеева Д.


9 декабря 2016 г. Доклад "О минимальных пи-схемах для монотонных симметрических функций с порогом 2" Аннотация доклада Ложкин С.А.
Сложность решения дискретных задач
Теоретические проблемы программирования
9 декабря 2016 г. Задача обеспечения отказоустойчивости распределенных вычислительных систем.

Доклад по статье G.Klein, K.Elphinstone, G.Heiser et al. "seL4: Formal Verification of an OS Kernel"

Статья про опыт разработки микроядра операционной системы от формальной спецификации будущей программы до реализации на C с доказательством корректности спецификации.


П. Булгаков


Источник — «https://mk.cs.msu.ru/index.php?title=Шаблон:Current_Seminars&oldid=3559»