Жан Галье

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

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

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. Жан Тироль Жан Тироль Биография Жана Тироля Жан Тироль — французский экономист, лауреат Нобелевской премии по экономике 2014...
  4. Алгоритм крест-накрест Перекрестный алгоритм История и описание алгоритма «крест-накрест» Алгоритм «крест-накрест» был опубликован независимо Тамасом Терлаки и Чжэ-Мин...
  5. Удовлетворенность Выполнимость Выполнимость формулы в логике связана с ее истинностью при определенных значениях переменных.  Двойственным понятием выполнимости...
  6. Жан Эрни Жан Хорни Биография Жана Амеди Хорни Американский инженер швейцарского происхождения, пионер в области кремниевых транзисторов.  Член...
  7. Жан-Клод Фальмань Жан-Клод Фальмань Биография и научная карьера Жан-Клода Фальмана Математический психолог, внесший вклад в теорию времени реакции,...
  8. Венгерский алгоритм Венгерский алгоритм Обзор венгерского алгоритма Венгерский алгоритм — это алгоритм для решения задачи о назначении, который...
  9. Жан-Ив Жирар Жан-Ив Жирар Биография и достижения Жан-Ива Жирара Французский логик, известный своими работами в области теории доказательств ...
  10. Жан-Огюст-Доминик Энгр Жан-Огюст-Доминик Энгр Ранние годы и обучение Жан Огюст Доминик Энгр родился в 1780 году в Монтобане,...
  11. QR-алгоритм QR-алгоритм Основы QR-алгоритма QR-алгоритм используется для вычисления собственных значений и собственных векторов симметричных матриц.  Алгоритм основан...
  12. Жан-Пьер Жуанно Жан-Пьер Жуанно Биография и карьера Жан-Пьера Жуанно Французский ученый-компьютерщик, известен работами в области терминологии.  Родился 21...
  13. Квантовый алгоритм Квантовый алгоритм Обзор квантовых алгоритмов Квантовые алгоритмы значительно ускоряют решение задач по сравнению с классическими.  Квантовые...
  14. Проблема логической выполнимости Проблема логической выполнимости Проблема логической выполнимости (SAT) — определение, существует ли интерпретация, удовлетворяющая данной логической формуле. ...
  15. Жан-Батист Сэй Жан-Батист сказал Биография и вклад Жан-Батиста Сэя Жан-Батист Сэй — французский экономист, основатель школы политической экономии. ...
  16. Симплексный алгоритм Симплексный алгоритм Основы симплексного алгоритма Симплексный алгоритм — это метод решения задач линейного программирования, разработанный Джорджем...
  17. Жан-Поль Делаэ Жан-Поль Делахай Жан-Поль Делахай — французский ученый-компьютерщик и математик, профессор компьютерных наук в Лилльском университете.  Он...
  18. Алгоритм Витерби Алгоритм Витерби Алгоритм Витерби — алгоритм динамического программирования для оценки вероятности наиболее вероятной последовательности скрытых состояний. ...

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

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