Альтернативный экзамен МЛиТА-2010

График докладов в рамках сдачи альтернативного экзамена по МЛиТА-2010

Собраться к 9.50 около аудитории 1207.

Поскольку, наверное, буфет будет закрыт, прошу захватить: бутерброды, электрочайники, заварку, сахар, кружки, чайные ложки.

 

 №

 ФИО

 группа

 вид экзамена

 оценка за КР

 Тема и источник

 Время доклада

 

6 января 2011 года

 

 

 

 

 

1

Кондрашов Александр Константинович
<kondrashov.9372@gmail.com>

Перенос на конец дня. Время следующих докладов сдвинется "вверх" на 15 минут.

22.01.11 - презентация доклада на сайт не выложена.

9372

Программа на Flash
Школа КИО

5

"Криптографический конструктор" (работает один)

 

06.11

10.00

+ 99%

+

2

Васильева Валерия Евгеньевна
<valeriya9302@mail.ru>

Презентация доклада на сайт выложена.

9302

Теория

 4

"Е-структуры в логике естественных рассуждений" (по книге "Логика естественных рассуждений")

06.11

10.15 

+ 50%

+

3

Кудрина Евгения Александровна <jenunchik@gmail.com> 

22.01.11 - презентация доклада на сайт не выложена.

9372

Программа на Flash
Школа КИО

 4

"Силлогизмы" (в паре- с Сенчило)

06.11

10.30 

+ 50%

+

4

Сенчило Артем Леонидович
<senchiloartem@gmail.com>

Презентация доклада на сайт выложена.

9372

Программа на Flash 
Школа КИО

5

"Силлогизмы" (в сотрудничестве с Кудриной
Евгенией Александровной, группа No.9372)

06.11

10.45 

5

Леонов Антон Викторович
<anton.leonov18@gmail.com>

Презентация доклада на сайт выложена.

9372

Программа на Flash
Конкурс КИО

 5

"Робот-косильщик"

06.11

11.00 

+ 60%

+ FLASH-100%

6

Варфоломеев Данила Дмитриевич
<yellowbrick.04@gmail.com>

Презентация доклада на сайт выложена.

9372 

Программа на Flash
Конкурс КИО

5

"Робот-косильщик"

06.11

11.15

+  50%

FLASH - 100%

7

Павлов Михаил Владимирович
<mishapavlov91@gmail.com>

Презентация доклада на сайт выложена неправильно (в виде архива) - исправить.

9372

Программа на Flash
Школа КИО

5

 Тренажер для последнего этапа теоремы Поста.

06.11

11.30  

+ 0%

+

8

Лясковец Иван Николаевич
<van198@mail.ru>

Перенос на 8 января. Время следующих докладов сдвинется "вверх" на 15 минут.

Презентация доклада на сайт выложена, но к ней не дан свободный доступ - исправить.

9371

Теория

4

"Проблема выполнимости булевых формул" (по книге "Алгоритмы,построение и анализ" авт. Т.Кормен, Ч.Лейзерсон и др.)

06.11

11.45   

+ 70%

+

9

Манукян Владислав Олегович
<sikaraka2010@gmail.com>

Перенос на 8 января

22.01.11 - презентация доклада на сайт не выложена.

9305

Программа на Flash
Конк. КИО 

5

"Распознавание образов" (напарник: Костыгов Дмитрий Вадимович)

06.11

12.00  

+ 60%

+

10

Костыгов Дмитрий <dmkost92@gmail.com>

Перенос на 8 января

Презентация доклада на сайт выложена неправильно (не переведена в формат Google) - исправить.

 9305

 

 

"Распознавание образов"

06.11

12.15

+  60%

+

 11Аникина Анна
<anna.a.anikina@gmail.com>

22.01.11 - презентация доклада на сайт не выложена.


9305
Программа на Flash
Конк. КИО
 5 "Пересеченная местность"

06.11

12.30 

+ 60%

+

 

ПЕРЕРЫВ до 14 часов

 

 

 

 

 

13

Маяков Иван Александрович
<ivanmayakov@mail.ru>

Презентация доклада на сайт выложена.

9305

 Теория 

5

Хорновские формулы.Задача о получении продукции (источник http://www.intuit.ru/department/ds/discrmath/6/)

06.11

14.00

+ 70%

14

Леонтьев Алексей Дмитриевич
<hardradio1@gmail.com>

Презентация доклада на сайт выложена неправильно (не переведена в формат Google) - исправить.

9373

Теория

4

"Теорема Эрбана" (по книге Ч.Чень, Р.Ли - Математическая логика и автоматическое доказательство теорем)

06.11

14.15

+ 70%

+

15

Коваленко Екатерина Вадимовна
<sacharanila@gmail.com>

Презентация доклада на сайт выложена неправильно (не вставлена в сайт) - исправить.

9372

Теория

4

"Метод резолюций" (по книге Ч. Чень и Р. Ли "Математическая логика и автоматическое доказательство теорем")

06.11

14.30

+ 100%

16

Островский Валерий Юрьевич
<ostrovskiyvy@gmail.com>

Презентация доклада на сайт выложена.

9302

Теория

5

"Семантическая резолюция и лок-резолюция" (по книге Ч.Чень, Р.Ли "Математическая логика и автоматическое доказательство теорем")

06.11

14.45

+ 50%

+

17

Кучина Алина Александровна
<kuchinaaa@mail.ru>

Перенос на 8 января. Время следующих докладов сдвинется "вверх" на 15 минут.

Презентация доклада на сайт выложена.

9392

Теория 

4

"Линейная резолюция" (по книге Ч.Чень, Р.Ли "Математическая логика и автоматическое доказательство теорем")

06.11

15.00

- 70%

18

Соловьёв Сергей Павлович

Презентация доклада на сайт выложена.


9307

теория

 5

"Введение в анализ программ" (по книге Ч.Чень, Р.Ли "Математическая логика и автоматическое доказательство теорем")

06.11

15.15

+ 50%

+

19

Логутова Наталия Александровна
<natalka.l@inbox.ru>

Презентация доклада на сайт выложена неправильно (не переведена в формат Google) - исправить.

9391

Теория

4

"Двоичные разрешающие диаграммы" (по книге Кларк, Грамберг, Пелед [2002] Верификация моделей программ)

06.11

15.30

+ 60%

20

Сенченко Даниил Олегович
<slimden@mail.ru>

Презентация доклада на сайт выложена.

9302

Теория

  4

"Символьная верификация моделей" (по книге Кларк, Грамберг, Пелед [2002] Верификация моделей программ)

06.11

15.45

+ 50%

+

21

Егоров Максим Владимирович
<megorov9302@gmail.com>

Презентация доклада на сайт выложена.

9302

Теория

 5

"Верификация моделей при помощи автоматов"  (по книге  "Верификация моделей программ" Э. М. Кларк)

06.11

16.00

+ 50%

+

22

Дроздов Антон Алексеевич
<anton.drozdov92@gmail.com>

Презентация доклада на сайт выложена.

9301

Теория

4

"Нечеткая логика" (по ресурсу  "Основы теории нечетких множеств" Автор: Г.Э. Яхъяева)

06.11

16.15

+ 50%

+

23

Кашицын Денис Вячеславович
<kamikadze1024@gmail.com>

Презентация доклада на сайт выложена неправильно (не переведена в формат Google) - исправить.

9302

Программа

4

Учебный тренажер, позволяющий моделировать автоматы сложения, вычитания, умножения на цифру

06.11

16.30

+ 70%


24

Чернокульская Римма Викторовна
<rimz@mail.ru>

Презентация доклада на сайт выложена.

9306

Теория

4

"Введение в теорию машин Тьюринга" (по книге Хопкрофта "Введение в теорию автоматов, языков и вычислений")

06.11

16.45

+ 50%

+

25

Непогодьева Анна Юрьевна
<anyan.9301@gmail.com>

Презентация доклада на сайт выложена.

9301

Теория

 5

"Продукции Поста" (по книге "Вычисления и автоматы", автор М.Минский)

06.11

17.00

+ 50%

+

26

Фролов Андрей Викторович
<x-master666@mail.ru>

Презентация доклада на сайт выложена.

9302

Теория

5

"Очень простые базисы для вычислимости" (по книге М. Минский "Вычисления и автоматы")

06.11

17.15

+ 50%

+

 

8 января 2011 года

 

 

 

 

 

1

Кудрина Анна Александровна <anya.kudrina@gmail.com>

23.01.11 - презентация доклада на сайт не выложена.

9372  

Программа на Flash
Школа КИО

4

"Классы замкнутости Поста"

08.11

10.00

+ 50%

+

2

Филиппов Александр Юрьевич
<philippov.snder@gmail.com>

23.01.11 - презентация доклада на сайт не выложена.

9371

Программа на Flash 
Школа КИО

5

"Классы замкнутости Поста" 

08.11

10.15 

+ 100%

3 Лясковец Иван Николаевич
<van198@mail.ru>

Презентация доклада на сайт выложена, но к ней не дан свободный доступ - исправить.
9371Теория4
 "Проблема выполнимости булевых формул" (по книге "Алгоритмы,построение и анализ" авт. Т.Кормен, Ч.Лейзерсон и др.)

08.11

10.30

 

4

Попов Михаил Григорьевич
<mike.popov@mail.ru>

Презентация доклада на сайт выложена.

9392

Теория

 4

"NP-полнота" (по книге Кормен, Лейзерсон, Ривест, Штайн "Алгоритмы: построение и анализ")

08.11

10.45

+ 70%

+

5

Медведев Андрей Дмитриевич
<medvedshots@gmail.com>

Презентация доклада на сайт выложена.

9371

Теория 

5

"Линейные языки и их свойства" (по книге А.Е. и М.Р. Пентус. "Теория формальных языков")

08.11

11.00

+ 35%

+

6

Куварзин Антон Андреевич
<willy.spb@gmail.com>

Презентация доклада на сайт выложена.

9373 

Теория 

5

"Неоднозначность в грамматиках и языках" (по книге "Хопкрофт. Введение в теорию автоматов, языков и вычислений")

08.11

11.15 

+ 20%

+

7

MAGDALYNE WAMBUI KAMANDE 
<magdalynde@yahoo.com>

Перенос на 6 января

23.01.11 - презентация доклада на сайт не выложена.

9305

Программа

5

«Генератор задач на приведение примеров слов языка, заданного КС-грамматикой»

08.11

11.15  

7
Строев Илья Алексеевич
<dartavar@gmail.com>

Презентация доклада на сайт выложена.
9392
Теория
 4 "Дедуктивный поиск ответов на вопросы, решение задач и синтез программ" (источник - книга "Математическая логика и автоматическое доказательство теорем." авторы Ч. Чень и Р. Ли под редакцией С. Ю. Маслова)

08.11

11.30 
+ 50% 
+

8

 Marc DJEGUEDE <djeguede.marc@gmail.com>

Перенос на 6 января

Презентация доклада на сайт выложена.

 

 Исслед.

5

"Эквивалентность грамматик"

08.11

11.45

+ 60%   

+

8

Хаяйнин Евгений Геннадьевич
<evgeniyhayaynin@gmail.com>

Презентация доклада на сайт выложена неправильно (не переведена в формат Google) - исправить.

9371

Теория

5

"Свойства контекстно-свободных языков" (по книге "Введение в теорию автоматов, языков и вычислений"  Хопкрофт)

08.11

11.45

+ 90% 

+

9

Исупова Елена Дмитриевна <isupova.elena@gmail.com>

Презентация доклада на сайт выложена.

9371

Исслед.

5

Определение по виду грамматики, к какому классу LLk относятся грамматика и язык (по книгам Хопкрофт "Введение в теорию автоматов, языков и вычислений", Гросс, Лантен "Теория формальных грамматик", Пентус "Теория формальных языков")

08.11

12.00 

+ 10%

+

10

Батасова Светлана Ярославна <svetik__sun@mail.ru>

Презентация доклада на сайт выложена (заменить LL0 на LL1)
 

9307 

Исслед.

4

"Установление возможности  описания определённого языка LL0-грамматикой" (М.Гросс, А. Лантен, Теория формальных грамматик [1971], -Хопкрофт,  Введение в теорию автоматов, языков и вычислений,  А.Е.Пентус, М.Р.Пентус, Теория формальных языков)

08.11

12.15 

+ 50%

+

11

Семенченко Алексей Сергеевич
<semenchenko_aleksey@mail.ru>


Презентация доклада на сайт выложена.

9307

Теория

4

"Дополнительные сведения о КС-языках" (по книге М.Гросс, А. Лантен, Теория формальных грамматик [1971] и др.)

08.11

12.30 

+ 60%

+

  ПЕРЕРЫВ до 13.30     

12

Романов Алексей Сергеевич
<kudlalex91@gmail.com>

23.01.11 - презентация доклада на сайт не выложена.

9372

Программа на Flash
Конк. КИО  

5

 "Точки в квадрате" (в паре с Сикериным Антоном)

08.11

13.30 

13

Сикерин Антон Владимирович
<svrsilicium@gmail.com>

23.01.11 - презентация доклада на сайт не выложена.

9372

Программа на Flash
Конк. КИО  

4

Задача о точках в квадрате (напарник: Романов Алексей)

08.11

13.45

14

Одинцова Ольга Александровна
<olya.odintsova@gmail.com>

Презентация доклада на сайт выложена.

9371

Программа на Flash 
Школа КИО

4

"Задача о паросочетаниях" (в паре с Головишниковым Алексеем, группа 9373)

08.11

14.00

+ 50%

+

15

Головишников Алексей Сергеевич
<alex.error.golov@gmail.com>

Презентация доклада на сайт выложена.

9373

Программа на Flash 
Школа КИО

5

 "Задача о паросочетаниях" (в паре с Одинцовой Ольгой, группа 9371)

08.11

14.15

16

Муравьева Ирина Иннокентьевна
<irenmuravieva@gmail.com>

Презентация доклада на сайт выложена.

9373

Теория

 5

Алгоритм Форда-Фалкерсона (Книга Кормен-Лейзерсон-Ривест-Штайн "Алгоритмы.Построение и анализ")

08.11

14.30

+ 50%

+

17

Фертиков Кирилл Александрович
<fertkir@gmail.com>

Презентация доклада на сайт выложена, но к ней не дан свободный доступ - исправить.

Флэш пока прошу убрать (до конца февраля).


9373

Программа на Flash
Конк. КИО

5

Моделирование физических законов (напарник: Карасавов Алексей)

08.11

15.00

+ 80%

+

18

Карасавов Алексей Тошков <alekseitk@gmail.com>

23.01.2011. Вставленный фрейм виден, но сама презентация не появляется. Надо разобраться и исправить.


9373

Программа на Flash 
Конк. КИО

 

Моделирование физических законов (напарник: Фертиков Кирилл Александрович)

08.11

15.15

+ 100%

+

19

Тихонова Анастасия
<tihonova9376@gmail.com>

Презентация доклада на сайт выложена.


9376

Программа на Flash
Конк. КИО

 

 "Порождающее множество" в паре с Воробьевым Сергеем группа №9373

08.11

15.30

20

Воробьев Сергей Андреевич
<wildvorobey@gmail.com>

Презентация доклада на сайт выложена.


9373  

Программа на Flash  
Конк. КИО

 

"Порождающее множество" (в паре с Тихоновой Настей группа №9373)

08.11

15.45

- 100%

+

21

Фефилов Иван Викторович
<imvans92@gmail.com>

Презентация доклада на сайт выложена, но к ней не дан свободный доступ - исправить.

9373

Программа на Flash
Школа КИО

5

 "Раскраска вершин графа" (партнер: Савельев Юлий гр. 9372)

08.11

16.00

- 50%

+

22

Савельев Юлий Юльевич
<sir.yulij@yandex.ru>

Презентация доклада на сайт выложена неправильно (не переведена в формат Google) - исправить.

9372

Программа на Flash
Школа КИО

4

"Раскраска вершин графа" (партнёр Фефилов Иван гр. 9373)

08.11

16.15

+ 30%

+

23
Манукян Владислав Олегович
<sikaraka2010@gmail.com>

см. выше
9305
Программа на Flash
Школа КИО
5
"Распознавание образов" (напарник: Костыгов Дмитрий Вадимович)

08.11

16.30

24
Костыгов Дмитрий <dmkost92@gmail.com>

см. выше
 Программа на Flash
Школа КИО
  "Распознавание образов" (напарник: Манукян Владислав Олегович)

08.11

16.45

25
Кучина Алина Александровна
<kuchinaaa@mail.ru>

см. выше
9392Теория 4"Линейная резолюция" (по книге Ч.Чень, Р.Ли "Математическая логика и автоматическое доказательство теорем")

08.11

17.00

 

26

Белов Павел Евгеньевич
<pavelbelov9301@gmail.com>

Презентация доклада на сайт выложена.

9301

Программа на Flash
Школа КИО

5

"Параллельный алгоритм Флойда" (в паре с Малютиным)

08.11

17.15

+ 50%

+

27

Малютин Максим Олегович <slacc@yandex.ru>

23.01.11 - презентация доклада на сайт не выложена.

9301

Программа на Flash
Школа КИО

4

"Параллельный алгоритм Флойда" (в паре с Беловым)

08.11

17.30

+

 28      
       

 

 № ФИО группа вид экзамена
 оценка за КР

 Тема и источник
Готовность на конец декабря
 Результат
 1Сенченко Даниил Олегович
<slimden@mail.ru>
9302Теория  4 "Символьная верификация моделей" (по книге Кларк, Грамберг, Пелед [2002] Верификация моделей программ)

  
 2Холодякова Ксения Игоревна
<ksenyahol@gmail.com>
9373Теория 5"Алгоритм Джонсона для разряженных графов" (по книге  "Алгоритмы. Построение и анализ." Авторы: Томас Кормен, Чарльз Лейзерсон, Рональд Ривест, Клиффорд Штайн)

  
 3Васильева Валерия Евгеньевна
<valeriya9302@mail.ru>
9302Теория 4 "Е-структуры в логике естественных рассуждений" (по книге "Логика естественных рассуждений")

  
 4Тихонова Анастасия
<tihonova9376@gmail.com>
9376Программа на Flash
Конк. КИО
  "Порождающее множество" в паре с Воробьевым Сергеем группа №9373

  
 5Лясковец Иван
 <van198@mail.ru>
9371  Проблема выполнимости булевых функций (по книге  "Алгоритмы. Построение и анализ." Авторы: Томас Кормен, Чарльз Лейзерсон, Рональд Ривест, Клиффорд Штайн)

  
 6Муравьева Ирина Иннокентьевна
<irenmuravieva@gmail.com>
9373Теория 5Алгоритм Форда-Фалкерсона (Книга Кормен-Лейзерсон-Ривест-Штайн "Алгоритмы.Построение и анализ")

  
 7Непогодьева Анна Юрьевна
<anyan.9301@gmail.com>

9301 Теория 5 "Продукции Поста" (по книге "Вычисления и автоматы", автор М.Минский)

  
 8Егоров Максим Владимирович
<megorov9302@gmail.com>

9302Теория 5"Верификация моделей при помощи автоматов"  (по книге  "Верификация моделей программ" Э. М. Кларк)

  
 9Попов Михаил Григорьевич
<mike.popov@mail.ru>

9392Теория 4"NP-полнота" (по книге Кормен, Лейзерсон, Ривест, Штайн "Алгоритмы: построение и анализ")

  
10
Леонтьев Алексей Дмитриевич
<hardradio1@gmail.com>
9373Теория
4
"Теорема Эрбана" (по книге Ч.Чень, Р.Ли - Математическая логика и автоматическое доказательство теорем)

  
11Фертиков Кирилл Александрович
<fertkir@gmail.com>
9373Программа на Flash
Конк. КИО
5
Моделирование физических законов (напарник: Карасавов Алексей)

  
12
Сенчило Артем Леонидович
<senchiloartem@gmail.com>
9372
Программа на Flash 
Школа КИО
5
"Силлогизмы" (в сотрудничестве с Кудриной
Евгенией Александровной, группа No.9372)

  
13Карасавов Алексей Тошков
9373
Программа на Flash 
Конк. КИО
 Моделирование физических законов (напарник: Фертиков Кирилл Александрович)

  
14Медведев Андрей Дмитриевич
<medvedshots@gmail.com>

9371
Теория 
5
"Линейные языки и их свойства" (по книге А.Е. и М.Р. Пентус. "Теория формальных языков")

  
15Куварзин Антон Андреевич
<willy.spb@gmail.com>
9373 
Теория 
5"Неоднозначность в грамматиках и языках" (по книге "Хопкрофт. Введение в теорию автоматов, языков и вычислений")

  
16Воробьев Сергей Андреевич
<wildvorobey@gmail.com>

9373  
Программа на Flash  
Конк. КИО
 "Порождающее множество" (в паре с Тихоновой Настей группа №9373)

  
17Филиппов Александр Юрьевич
<philippov.snder@gmail.com>
9371
Программа на Flash
Школа КИО
5 "Классы замкнутости Поста" (в паре с Кудриной Анной)

Создан генератор функций (отвечает за код программы)
 
18Одинцова Ольга Александровна
<olya.odintsova@gmail.com>
9371Программа на Flash 
Школа КИО
4"Задача о паросочетаниях" (в паре с Головишниковым Алексеем, группа 9373)

Разобраны различные алгоритмы паросочентаний
 
19Романов Алексей Сергеевич
<kudlalex91@gmail.com>

9372Программа на Flash
Конк. КИО  
5
 "Точки в квадрате" (в паре с Сикериным Антоном)


  
20
Сикерин Антон Владимирович
<svrsilicium@gmail.com>
9372Программа на Flash
Конк. КИО  
4
Задача о точках в квадрате (напарник: Романов Алексей)

  
21
Маяков Иван Александрович
<ivanmayakov@mail.ru>

9305 Теория  5
Хорновские формулы.Задача о получении продукции (источник http://www.intuit.ru/department/ds/discrmath/6/)

  
22
Красильников Александр Витаельевич
<aleksandar7kr@gmail.com>

9301Программа (? на Flash)
Школа КИО 
5
"Конструктор логических схем" 


  
23
Кондрашов Александр Константинович
<kondrashov.9372@gmail.com>
9372Программа на Flash
Школа КИО
5"Криптографический конструктор" (работает один)

 
  
24Леонов Антон Викторович
<anton.leonov18@gmail.com>

9372  
Программа на Flash
Конк. КИО
5
"Робот-косильщик" (партнер: Варфоломеев Данила Дмитриевич 9372)

Нейросеть (сделано на 90%)
 
25
Строев Илья Алексеевич
<dartavar@gmail.com>

9392
Теория
4
"Дедуктивный поиск ответов на вопросы, решение задач и синтез программ" (источник - книга "Математическая логика и автоматическое доказательство теорем." авторы Ч. Чень и Р. Ли под редакцией С. Ю. Маслова)

  
26Головишников Алексей Сергеевич
<alex.error.golov@gmail.com>
9373Программа на Flash 
Школа КИО
5
 "Задача о паросочетаниях" (в паре с Одинцовой Ольгой, группа 9371)

Согласован интерфейс алгоритма паросочетаний
 
27
MAGDALYNE WAMBUI KAMANDE 
<magdalynde@yahoo.com>
9305Программа
 Программа генерирует грамматику, которую предлагает студенту с предложением написать правильно слово в этом языке состоящее из 10 бук (это может быть переменная 7-12 букв). Студент вводит слово, программа проверяет, соответствует ли слово данной грамматике и сообщает студенту.

  
28
Варфоломеев Данила Дмитриевич
<yellowbrick.04@gmail.com>
9372Программа на Flash 
Конк. КИО
5
"Робот-косильщик" (партнер - Леонов Антон)
Код готов на 90% (не подключен API)
 
29
Лясковец Иван Николаевич
<van198@mail.ru>
9371
Теория4
"Проблема выполнимости булевых формул" (по книге "Алгоритмы,построение и анализ" авт. Т.Кормен, Ч.Лейзерсон и др.)

  
30Манукян Владислав Олегович
<sikaraka2010@gmail.com>

9305
Программа на Flash
Конк. КИО 
5
"Распознавание образов" (напарник: Костыгов Дмитрий Вадимович)
  
31
Кашицын Денис Вячеславович
<kamikadze1024@gmail.com>

9302
Программа4
Учебный тренажер, позволяющий моделировать автоматы сложения, вычитания, умножения на цифру

  
32
Хаяйнин Евгений Геннадьевич
<evgeniyhayaynin@gmail.com>

9371
Теория5
"Свойства контекстно-свободных языков" (по книге "Введение в теорию автоматов, языков и вычислений"  Хопкрофт)

  
33
Максимов Павел Николаевич
<friendoy@mail.ru>

9376
Программа
5
Демонстратор геометрического подхода к минимизации СДНФ (метод карт Карно)

  
34
Коваленко Екатерина Вадимовна
<sacharanila@gmail.com>

9372
Теория4
"Метод резолюций" (по книге Ч. Чень и Р. Ли "Математическая логика и автоматическое доказательство теорем")
 
Осталась презентация (материал и примеры разобраны). Дистанционно.
sacharanila (и слушать и выступать 06.01.2011)
 
35Логутова Наталия Александровна
<natalka.l@inbox.ru>

9391Теория4
"Двоичные разрешающие диаграммы" (по книге Кларк, Грамберг, Пелед [2002] Верификация моделей программ)

  
36
Дробович Юрий Анатольевич
<bad.wolf.gallifrey@gmail.com>

9371 
Исслед.
4
"Минимизация булевых формул, полученных суперпозициями функций голосования" (литература:  "Алгоритмы,построение и анализ" (Т.Кормен, Ч.Лейзерсон и др. и другие источники)  
37
Кучина Алина Александровна
<kuchinaaa@mail.ru>

9392
Теория 
4
"Линейная резолюция" (по книге Ч.Чень, Р.Ли "Математическая логика и автоматическое доказательство теорем")  
38
Фефилов Иван Викторович
<imvans92@gmail.com>

9373
Программа на Flash
Школа КИО
5
 "Раскраска вершин графа" (партнер: Савельев Юлий гр. 9372)  
39Дроздов Антон Алексеевич
<anton.drozdov92@gmail.com>

9301Теория
4
"Нечеткая логика" (по ресурсу  "Основы теории нечетких множеств" Автор: Г.Э. Яхъяева)

  
40
Савельев Юлий Юльевич
<sir.yulij@yandex.ru>

9372Программа на Flash
Школа КИО
4
"Раскраска вершин графа" (партнёр Фефилов Иван гр. 9373)  
41Потапов Александр Евгеньевич
<rangeristo@korkinsport.ru>

9376Программа5
Лаборатория для экспериментов по минимизации логических выражений с заданным набором операций

  
42
Райцин Станислав Борисович
<dr_tracs@rambler.ru>

9301 
Программа на Flash
Школа КИО
5
"Конструктор логических схем" (в паре с Красильниковым)  
43
Павлов Михаил Владимирович
<mishapavlov91@gmail.com>
9372Программа на Flash
Школа КИО
5
 Тренажер для последнего этапа теоремы Поста. Выразить конъюнкцию через нелинейный многочлен Жегалкина, константы 0 и 1 и отрицание (четыре функции). При этом нужно генерировать нетривиальные многочлены Жегалкина типа f(x,y,z,u,v,w)=xyzv+yzvw+xyzuw+xyzuvw, тогда задача правильной подстановки констант станет содержательной.

  
44
Фролов Андрей Викторович
<x-master666@mail.ru>

9302
Теория
5
"Очень простые базисы для вычислимости" (по книге М. Минский "Вычисления и автоматы")

  
45Горячёва Регина Олеговна
<regina.goryachyova@gmail.com>

9392
Теория 
4
 "Алгебраические языки" (по книге  "Теория формальных грамматик" Gross M., Lanten A.)  
46Топильский Александр Александрович
<frutik91@gmail.com>
9301
Теория
4
"Резолюция с равенством"  (по книге "Математическая логика и автоматическое
доказательство теорем" Ч. Чень, Р. Ли)
  
47
Чернокульская Римма Викторовна
<rimz@mail.ru>

9306
Теория 4
"Введение в теорию машин Тьюринга" (по книге Хопкрофта "Введение в теорию автоматов, языков и вычислений")  
48
Островский Валерий Юрьевич
<ostrovskiyvy@gmail.com>

9302
Теория
5
"Семантическая резолюция и лок-резолюция" (по книге Ч.Чень, Р.Ли "Математическая логика и автоматическое доказательство теорем")

  
49Белов Павел Евгеньевич
<pavelbelov9301@gmail.com>

9301Программа на Flash
Школа КИО
5
"Параллельный алгоритм Флойда" (в паре с Малютиным)
  
50
Лайшев Артем Русланович
<Ar_Laishev@mail.ru>

9391Программа
5Лаборатория  по описанию и вычислению частично-рекурсивных функций

  
51
Исупова Елена Дмитриевна <isupova.elena@gmail.com>

9371Исслед.5
Определение по виду грамматики, к какому классу LLk относятся грамматика и язык (по книгам Хопкрофт "Введение в теорию автоматов, языков и вычислений", Гросс, Лантен "Теория формальных грамматик"
Пентус "Теория формальных языков")
  
52
Семенченко Алексей Сергеевич
<semenchenko_aleksey@mail.ru>


9307 Теория 4
"Дополнительные сведения о КС-языках" (по книге М.Гросс, А. Лантен, Теория формальных грамматик [1971] и др.)

  
53
Кудрина Евгения Александровна <jenunchik@gmail.com>


9372Программа на Flash
Школа КИО
 "Силлогизмы" (в паре- с Сенчило)   
54
Малютин Максим Олегович <slacc@yandex.ru>

9301Программа на Flash
Школа КИО
4
"Параллельный алгоритм Флойда" (в паре с Беловым)


  
55
Кудрина Анна Александровна <anya.kudrina@gmail.com>

9372Программа на Flash
Школа КИО

  "Классы замкнутости Поста" (в паре с Филипповым)   
56
 Marc DJEGUEDE <djeguede.marc@gmail.com>  Исслед. "Эквивалентность грамматик"
  
57Соловьёв Сергей Павлович

9307Теория
 5"Введение в анализ программ" (по книге Ч.Чень, Р.Ли "Математическая логика и автоматическое доказательство теорем")

  
 58 Батасова Светлана Ярославна


9307 
 Исслед. 4 "Установление возможности  описания определённого языка LL0-грамматикой" .(М.Гросс, А. Лантен, Теория формальных грамматик [1971], -Хопкрофт,  Введение в теорию автоматов, языков и вычислений,  А.Е.Пентус, М.Р.Пентус, Теория формальных языков)
  
        
59
 Костыгов Дмитрий <dmkost92@gmail.com>      
60Аникина Анна     
9305Программа на Flash  Конкурс КИО
5  
"Пересеченная местность"  
  Суслова      + 100%
+
  Потапов      + 80%
  Рекиш      + 50%
+
        

Comments