Для установки нажмите кнопочку Установить расширение. И это всё.

Исходный код расширения WIKI 2 регулярно проверяется специалистами Mozilla Foundation, Google и Apple. Вы также можете это сделать в любой момент.

4,5
Келли Слэйтон
Мои поздравления с отличным проектом... что за великолепная идея!
Александр Григорьевский
Я использую WIKI 2 каждый день
и почти забыл как выглядит оригинальная Википедия.
Статистика
На русском, статей
Улучшено за 24 ч.
Добавлено за 24 ч.
Альтернативы
Недавние
Show all languages
Что мы делаем. Каждая страница проходит через несколько сотен совершенствующих техник. Совершенно та же Википедия. Только лучше.
.
Лео
Ньютон
Яркие
Мягкие

Цейтин, Григорий Самуилович

Из Википедии — свободной энциклопедии

В Википедии есть статьи о других людях с такой фамилией, см. Цейтин.
Григорий Самуилович Цейтин
Дата рождения 1936
Место рождения
Страна
Место работы
Альма-матер ЛГУ (матмех)
Учёная степень доктор физико-математических наук
Научный руководитель Андрей Андреевич Марков[2]
Сайт math.spbu.ru/user/tseyti…

Григорий Самуилович Цейтин (род. 1936, Ленинград) — советский и американский учёный в области математики и информатики. Занимается проблемами конструктивной математики, логики высказываний, теории групп и математической лингвистики.

Биография

В 1956 году Цейтин окончил математико-механический факультет ЛГУ (ныне СПбГУ) и в дальнейшем работал в НИИ математики и механики (НИИММ) ЛГУ[3][4]. С 1960 года кандидат физико-математических наук ЛГУ, тема диссертации «Алгорифмические операторы в конструктивных метрических пространствах»[5][6]. C 1968 года доктор физико-математических наук ЛГУ[7]. С 1970 по 2000 год — заведующий лабораторией математической лингвистики (ныне Лаборатория интеллектуальных систем) в НИИММ ЛГУ[8].

Также Цейтин был одним из создателей и основных преподавателей Юношеской Математической Школы при математико-механическом факультете ЛГУ[4].

Цейтин переехал в США в 1990-х годах. В 2000—2009 годах работал в IBM, с 2009 года работает научным сотрудником (позже — приглашённым учёным) в Стэнфордском университете[7].

В 2006 году Цейтин был признан почётным членом (англ. Distinguished Member) Ассоциации вычислительной техники[9].

Цейтин — эсперантист. С 2017 года он является секретарём Региональной Организации Эсперанто в Сан-Франциско (англ. San Francisco Esperanto Regional Organization, SFERO)[7].

Научные достижения

В 1956 году Цейтин привёл пример полугруппы, для которой нет алгоритма, распознающего равенство слов — такие группы были названы полугруппами Цейтина[4][10].

В 1968 году Цейтин разработал алгоритм приведения формул логики высказываний к КНФ, названный преобразованием Цейтина[11].

Цейтин внёс свой вклад в разработку языка программирования Aлгол 68 и его реализации для ЕС ЭВМ[12][13].

Примечания

  1. 1 2 Hoffman R. LinkedIn (англ.) — 2003.
  2. Математическая генеалогия (англ.) — 1997.
  3. Григорий Цейтин. Краткие биографии некоторых известных эсперантистов. Личности в эсперанто-движении. Дата обращения: 20 июня 2020.
  4. 1 2 3 Одинцов В. П. Зарисовки по истории компьютерных наук: учебное пособие в 3 частях: часть I. — Сыктывкар: Коми государственный педагогический институт, 2011. — С. 103, 109. — 200 с. — 200 экз. — ISBN 978-5-87661-188-8. — ISBN 978-5-87661-189-5.
  5. Персоналии: Цейтин Григорий Самуилович. Math-Net.ru. Дата обращения: 20 июня 2020.
  6. Цейтин Г. С. Алгорифмические операторы в конструктивных метрических пространствах (рус.) // Труды МИАН СССР : сборник. — М.: Изд-во АН СССР, 1962. — Т. 67. — С. 295—361. — ISSN 0371-9685.
  7. 1 2 3 Gregory Tseytin (англ.). LinkedIn. Дата обращения: 20 июня 2020.
  8. Лаборатория интеллектуальных систем (недоступная ссылка). Научно-исследовательский институт математики и механики им. академика В. И. Смирнова. Дата обращения: 20 июня 2020. Архивировано 13 января 2008 года.
  9. Dr. Gregory S Tseytin (англ.). ACM. Дата обращения: 20 июня 2020.
  10. Цейтин Г. С. Ассоциативное исчисление с неразрешимой проблемой эквивалентности (рус.) // Труды МИАН СССР : сборник. — М.—Л.: Изд-во АН СССР, 1958. — Т. 52. — С. 172—189. — ISSN 0371-9685.
  11. Цейтин Г. С. О сложности вывода в исчислении высказываний (рус.) // Записки научных семинаров ЛОМИ. — 1968. — Т. 8. — С. 234—259. — ISSN 0373-2703.
  12. Revised Report on the Algorithmic Language Algol 68 (англ.) // Algol Bulletin. — 1981. — August (no. 47). — ISSN 0084-6198.
  13. Терехов А. Н. История одной идеи (рус.) // Компьютерные инструменты в образовании : журнал. — 2009. — № 2. — С. 30—40. — ISSN 2071-2359.

Ссылки

Эта страница в последний раз была отредактирована 29 июля 2020 в 10:01.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).