RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Гирш Эдуард Алексеевич

Лекций и докладов: 7

Статистика просмотров:
Эта страница:1104
Страницы публикаций:2008
Полные тексты:524
Списки литературы:171
доцент
доктор физико-математических наук (2011)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail:
Сайт: http://logic.pdmi.ras.ru/~hirsch
Ключевые слова: теория сложности вычислений, пропозициональная логика, системы доказательств.

Основные темы научной работы

Верхние оценки для задачи пропозициональной выполнимости и нижние оценки времени работы некоторых алгоритмов для этй задачи. Верхние и нижние оценки для полуалгебраических систем доказательств. Оптимальные эвристические алгоритмы.

Научная биография:

Окончил мат-мех СПбГУ в 1995 г. Степень к.ф.-м.н. 1998 г. (05.13.17 – теоретические основы информатики). Степень д.ф.-м.н. 2012 г. (01.01.06 – математическая логика, алгебра и теория чисел). Член правления С.-Петербургского математического общества. Член наблюдательного совета конференций CSR (International Computer Science Symposium in Russia).

   
Основные публикации:
  • E. A. Hirsch, D. Itsykson, I. Monakhov, A. Smal. On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography // Theory of Computing Systems 51(2):179-195. Springer, 2012.
  • E. Dantsin, A. Goerdt, E. A. Hirsch, R. Kannan, J. Kleinberg, C. Papadimitriou, P. Raghavan, U. Schoning. A Deterministic $(2-2/(k+1))^n$ Algorithm for k-SAT Based on Local Search. Theoretical Computer Science, Elsevier, 289/1, 2002, pp. 69-83.
  • E. A. Hirsch. New Worst-Case Upper Bounds for SAT // Journal of Automated Reasoning, 24(4), Kluwer Academic Publishers, 2000, 397–420.
  • D. Grigoriev, E. A. Hirsch, D. V. Pasechnik. Complexity of Semi-Algebraic Proofs // Moscow Mathematical Journal 2(4): 647-679, 2002.
  • E. Dantsin, E. A. Hirsch. Worst-Case Upper Bounds // In: Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications. Vol. 185. IOS Press, 2009, pp.403-424.

http://www.mathnet.ru/rus/person11042
http://scholar.google.com/citations?user=p_CnQm0AAAAJ&hl=ru
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/629514

Полный список публикаций:
| по годам | по типам | по числу цитирований | научные публикации | общий список |



Доклады и лекции в базе данных Math-Net.Ru
1. Нижние оценки схемной сложности булевых функций
Э. А. Гирш
Конференция профессоров РАН по Отделению математических наук РАН
16 июня 2016 г. 11:45   
2. Доказательства с ошибками
Э. А. Гирш
Общеинститутский математический семинар Санкт-Петербургского отделения Математического института им. В. А. Стеклова РАН
26 декабря 2011 г. 13:00   
3. Оптимальные системы доказательств и алгоритмы (обзор)
Э. А. Гирш
Традиционная новогодняя сессия МИАН-ПОМИ, 2009 «Логика и теоретическая информатика»
18 декабря 2009 г. 12:00   
4. Сложностная криптография: полные криптосистемы с открытым ключом
Э. А. Гирш, Д. Ю. Григорьев, К. В. Первышев
Заседания Московского математического общества
11 апреля 2006 г.
5. Полуалгебраические доказательства
Э. А. Гирш
Общеинститутский математический семинар Санкт-Петербургского отделения Математического института им. В. А. Стеклова РАН
25 марта 2003 г.
6. Полуалгебраические доказательства
Э. А. Гирш
Заседания Санкт-Петербургского математического общества
25 марта 2003 г.
7. «Нелогические» доказательства для логических высказываний
Э. А. Гирш
Общеинститутский математический семинар Санкт-Петербургского отделения Математического института им. В. А. Стеклова РАН
20 ноября 2000 г.

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018