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

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

Как перевоплотить Википедию

Хотите, чтобы Википедия всегда выглядела так профессионально и современно? Мы создали расширение для браузера. Оно совершенствует любую страницу энциклопедии, которую вы посетите, с помощью магических технологий WIKI 2.

Попробуйте — вы его можете удалить в любой момент.

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

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

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

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

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

Биография

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

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

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

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

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

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

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

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

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

Примечания

  1. ↑ 1 2 Hoffman R. LinkedIn (англ.) — 2003.
  2. ↑ Mathematics Genealogy Project (англ.) — 1997.
  3. ↑ Григорий Цейтин. Краткие биографии некоторых известных эсперантистов. Личности в эсперанто-движении. Дата обращения: 20 июня 2020.
  4. ↑ 1 2 3 Одинец В. П. Зарисовки по истории компьютерных наук: учебное пособие. — Сыктывкар: Коми государственный педагогический институт, 2013. — С. 96,100,156,177. — 421 с. — 75 экз. — ISBN 978-5-87661-246-5. Архивировано 2 сентября 2022 года.
  5. ↑ Персоналии: Цейтин Григорий Самуилович. Math-Net.ru. Дата обращения: 20 июня 2020. Архивировано 22 июня 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. Архивировано из оригинала 22 июня 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. Архивировано 16 ноября 2020 года.
  13. ↑ Терехов А. Н. История одной идеи // Компьютерные инструменты в образовании : журнал. — 2009. — № 2. — С. 30—40. — ISSN 2071-2359. Архивировано 21 июня 2020 года.

Ссылки

Эта страница в последний раз была отредактирована 5 апреля 2024 в 17:20.
Как только страница обновилась в Википедии она обновляется в Вики 2.
Обычно почти сразу, изредка в течении часа.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).
Связаться с WIKI 2
Введение
Условия использования
Конфиденциальность