Жан Галье — Википедия

От / / Оставьте комментарий

Жан Галье Биография Жана Анри Галье Исследователь в области вычислительной логики, работает в Пенсильванском университете.  Родился в Нанси, имеет двойное […]

1949 births, 1949 года рождения, 20th-century American mathematicians, 21st-century American mathematicians, American computer scientists, École des Ponts ParisTech alumni, French computer scientists, French mathematicians, Living people, Los Angeles alumni, Mathematical logicians, Mathematicians at the University of Pennsylvania, Researchers in geometric algorithms, Theoretical computer scientists, University of California, University of Pennsylvania faculty, Американские математики 20-го века, Американские математики 21-го века, Американские ученые-компьютерщики, Выпускники École des Ponts ParisTech, Живые люди, Исследователи геометрических алгоритмов, Калифорнийский университет, Лос-Анджелес выпускники факультета Пенсильванского университета, математики Пенсильванского университета, Математические логики, Теоретики-компьютерщики, Французские математики, Французские ученые-компьютерщики

Жан Галье

  • Биография Жана Анри Галье

    • Исследователь в области вычислительной логики, работает в Пенсильванском университете. 
    • Родился в Нанси, имеет двойное гражданство Франции и США. 
    • Получил образование в области строительства и компьютерных наук, защитил докторскую диссертацию в Калифорнийском университете. 

  • Карьера и достижения

    • Начал работать в Пенсильванском университете в 1978 году, стал профессором в 1990 году. 
    • Руководил Французским институтом культуры и технологий с 2001 по 2004 год. 

  • Вклад в науку

    • Наиболее цитируемая работа — алгоритм для определения выполнимости Хорна, разработанный его учеником Уильямом Ф. Доулингом. 
    • Алгоритм является ключевой парадигмой в языке программирования Prolog. 
    • Автор пяти книг по вычислительной логике и смежным областям математики. 

  • Библиография

    • Список публикаций Жана Галье доступен на его домашней странице и проиндексирован Google Scholar. 

Полный текст статьи:

Жан Галье — Википедия

Похожие статьи:

  1. Удовлетворенность — Википедия
  2. Список алфавитов латинского алфавита — Википедия
  3. Список алфавитов латинского алфавита — Википедия
  4. Жан Жиро (математик) — Википедия, бесплатная энциклопедия
  5. Алгоритм крест-накрест — Википедия
  6. Жан Тироль — Википедия
  7. Удовлетворенность — Википедия
  8. Венгерский алгоритм — Википедия
  9. Проблема логической выполнимости — Википедия
  10. Жан-Клод Фальмань — Википедия
  11. Жан-Ив Жирар — Википедия
  12. QR-алгоритм — Википедия
  13. Симплексный алгоритм — Википедия
  14. Жан-Огюст-Доминик Энгр — Википедия
  15. Квантовый алгоритм — Википедия
  16. Жан-Пьер Жуанно — Википедия

Оставьте комментарий

Прокрутить вверх