Питер Б. Эндрюс

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

Оглавление1 Питер Б. Эндрюс1.1 Биография Питера Б. Эндрюса1.2 Научные достижения1.3 Публикации1.4 Дополнительная информация2 Питер Б. Эндрюс — Википедия Питер Б. […]

1937 births, 1937 рождения, 20th-century American mathematicians, 21st-century American mathematicians, American logicians, American mathematician stubs, Carnegie Mellon University faculty, Living people, Mathematical logicians, Princeton University alumni, Американские логики, Американские математики 20-го века, Американские математики 21-го века, Выпускники Принстонского университета, Живущие люди, Математические логики, Незавершённые статьи об американских математиках, Преподаватели Университета Карнеги-Меллон

Питер Б. Эндрюс

  • Биография Питера Б. Эндрюса

    • Американский математик, почетный профессор Университета Карнеги-Меллона 
    • Создатель математической логики Q0 
    • Получил докторскую степень в Принстонском университете в 1964 году 

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

    • Получил премию Гербранда в 2003 году 
    • Разработал автоматизированный тестер теорем TPS 
    • Подсистема ETP TPS используется для обучения студентов логике 

  • Публикации

    • Опубликовал множество работ по математической логике и теории типов 
    • Некоторые из его работ включают “Теория трансфинитных типов с переменными типа” (1965) и “Введение в математическую логику и теорию типов” (2002) 

  • Дополнительная информация

    • Статья содержит библиографическое описание книги “Введение в математическую логику и теорию типов” 
    • Упоминается возможность расширения статьи для Википедии 

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

Питер Б. Эндрюс — Википедия

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

  1. Сент-Эндрюс Оглавление1 Сент-Эндрюс1.1 История и география1.2 Университет и культура1.3 Управление и демография1.4 Демография и экономика1.5 Климат и...
  2. Система типов Оглавление1 Система типов1.1 Системы типов в программировании1.2 Цели систем типов1.3 Пример системы типов: язык Си1.4 Теория...
  3. Система типов Оглавление1 Type system1.1 Типы систем в программировании1.2 Примеры использования1.3 Типы и их значение1.4 Преимущества и недостатки1.5...
  4. Бенни Эндрюс Оглавление1 Бенни Эндрюс1.1 Ранние годы и образование1.2 Карьера и достижения1.3 Социальная активность и искусство1.4 Личная жизнь...
  5. Медаль Уильяма Х. Николса Оглавление1 Медаль Уильяма Х. Николса1.1 История медали Николса1.2 Условия получения медали1.3 Список лауреатов1.4 Современные лауреаты1.5 Полный...
  6. Грейс Эндрюс (математик) Оглавление1 Грейс Эндрюс (математик)1.1 Биография Грейс Эндрюс1.2 Образование и научная карьера1.3 Профессиональная деятельность1.4 Полный текст статьи:2...
  7. Уэйн Эндрюс (историк) Оглавление1 Уэйн Эндрюс (историк)1.1 Биография Эндрюса1.2 Карьера и достижения1.3 Личная жизнь и смерть1.4 Избранные публикации1.5 Библиографическое...
  8. Джордж Эндрюс (математик) Джордж Эндрюс (математик) Джордж Эндрюс – американский математик, известный своими работами в области теории целочисленных разбиений...
  9. Сальвадорские американцы Оглавление1 Salvadoran Americans1.1 История сальвадорских американцев1.2 Причины миграции1.3 Политические и социальные аспекты1.4 Современное состояние1.5 Миграция сальвадорцев...
  10. Университет Сент-Эндрюс Оглавление1 Сент-Эндрюсский университет, Великобритания1.1 История и достижения футбольного клуба Сент-Эндрюс1.2 Развитие и реструктуризация клуба1.3 Соревнования и...
  11. Питер Джеймс (писатель) Оглавление1 Питер Джеймс (писатель)1.1 Биография и образование1.2 Личная жизнь1.3 Литературная карьера1.4 Работа в кино и на...
  12. Замок Сент-Эндрюс Оглавление1 Замок Сент-Эндрюс1.1 История и значение замка Сент-Эндрюс1.2 Войны за независимость и Реформация1.3 Текущее состояние и...
  13. Теория типа ST Оглавление1 Теория типов ST1.1 Основы теории типов Мендельсона1.2 Символика и аксиомы1.3 Бесконечность и онтология1.4 Формулировки на...
  14. Система типов Оглавление1 Система типов1.1 Основы типов данных1.2 Системы типов и их классификация1.3 Безопасность типов и памяти1.4 Дополнительные...
  15. Теория типов Оглавление1 Теория типов1.1 Основы теории типов1.2 История и развитие1.3 Основные понятия1.4 Применение и интерпретация1.5 Связь с...
  16. Математическая экономика Оглавление1 Математическая экономика1.1 История математической экономики1.2 Маржиналисты и корни неоклассической экономики1.3 Критика и развитие1.4 Вальрасианское общее...
  17. Берт Эндрюс (журналист) Оглавление1 Берт Эндрюс (журналист)1.1 Биография Берта Эндрюса1.2 Карьера журналиста1.3 Вашингтонская охота на ведьм1.4 Личная жизнь и...
  18. Университет Сент-Эндрюс Оглавление1 Университет Сент-Эндрюса1.1 История и развитие1.2 Структура и управление1.3 Факультеты и школы1.4 Рейтинги и репутация1.5 Приемы1.6...
  19. Джордж Эндрюс (математик) Оглавление1 Джордж Эндрюс (математик)1.1 Биография и образование1.2 Карьера и достижения1.3 Награды и почести1.4 Публикации1.5 Полный текст...
  20. Category:1950 deaths – Arc.Ask3.Ru Оглавление1 Категория:Смерти в 1950 году – Википедия1.1 Биографический портал1.2 Категории и подкатегории1.3 Список страниц1.4 Примеры персоналий1.5...
  21. Сент-Эндрюс Линкс Оглавление1 Ссылки на Сент-Эндрюс1.1 История и развитие гольфа в Сент-Эндрюсе1.2 История и управление полями для гольфа1.3...
  22. Сент-Эндрюс Юнайтед Оглавление1 Футбольный клуб “Сент-Эндрюс Юнайтед”1.1 Общие сведения о клубе1.2 Достижения и руководство1.3 Почести и награды1.4 Рекомендации1.5...

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

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