Валерия де Пайва

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

Оглавление1 Валерия де Пайва1.1 Биография Валерии Корреа Ваз де Пайвы1.2 Карьера и научные достижения1.3 Избранные публикации2 Валерия де Пайва — […]

20th-century American mathematicians, 20th-century American women mathematicians, 21st-century American mathematicians, 21st-century American women mathematicians, Alumni of the University of Cambridge, American computer scientists, Brazilian computer scientists, Brazilian logicians, Brazilian mathematicians, Brazilian women computer scientists, Category theorists, Living people, Scientists at PARC (company), Women logicians, американские женщины-математики 20-го века, американские женщины-математики 21-го века, Американские математики 20-го века, Американские математики 21-го века, Американские ученые-компьютерщики, Бразильские женщины-компьютерщики, Бразильские логики, Бразильские математики, Бразильские ученые-компьютерщики, Выпускники Кембриджского университета, Женщины-логики, Живые люди, Теоретики категорий, Ученые PARC (компания)

Валерия де Пайва

  • Биография Валерии Корреа Ваз де Пайвы

    • Бразильский математик, логик и специалист по информатике 
    • Исследует логические подходы к вычислениям, представление знаний и семантику естественного языка 
    • Имеет образование в области математики, алгебры и докторскую степень по теории категорий 

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

    • Работала в PARC, Rearden Commerce и Cuil, затем присоединилась к Nuance 
    • Является почетным научным сотрудником Бирмингемского университета 
    • Входила в совет отдела логики Международного союза истории и философии науки и техники 

  • Избранные публикации

    • Опубликовала работы по прикладной теории категорий, назначению термина для интуиционистской линейной логики, диалектической модели линейной логики и категориям диалектики 
    • Принимала участие в редактировании сборников и журналов по математике и логике 

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

Валерия де Пайва — Википедия, бесплатная энциклопедия

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

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

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

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