Кристина Сернадас
Мария Кристина Де Салес Виана Серодио Сернадас [1] (род. 1951) — португальский математик-логик , чьи темы исследований включали объектно-ориентированные языки спецификаций и логику для информационных систем , а также использование теории категорий в сочетании («расслоении») нескольких типов логики. Она является профессором логики и вычислений на факультете математики Технического университета Лиссабона . [2]
Образование и карьера
[ редактировать ]Сернадас изучал математику в Лиссабонском университете , который окончил в 1973 году, и получил степень доктора философии. Степень бакалавра математики в 1980 году в Лондонском университете . [2] Ее докторская диссертация «Многомерные ветвящиеся процессы » касалась ветвящихся процессов в теории вероятностей и была написана под руководством статистика Дж. Бартоломью . [3]
В 1988 году она получила абилитацию ( agregação ) в Техническом университете Лиссабона и стала там профессором в 1993 году. [2]
Книги
[ редактировать ]Книги Сернадаса включают: [4]
- вычислений теорию Введение в , редакционное издание, 1993 г.)
- Введение в программирование в Mathematica, Дж. с Кармо, А. Сернадасом, Ф. М. Дионисио и К. Калейро, IST Press, 1999 г., 3-е изд., 2004 г.);
- Основы логики и теории вычислений (совместно с А. Сернадасом, College Publications, 2008; 2-е изд., 2012 г.)
- Анализ и синтез логики: как вырезать и вставлять системы рассуждений (совместно с В.А. Карниелли , М.Е. Конильо, Д. Габбаем и П. Гувейей, Springer, 2008) [5]
- Математический учебник по вычислимости (совместно с А. Сернадасом, Дж. Расга и Дж. Рамосом, College Publications, 2018) [6]
- Математический учебник по линейной оптимизации (совместно с Д. Гомесом, А. Сернадасом, Дж. Расгой и П. Матеусом, College Publications, 2019)
- Разрешимость логических теорий и их комбинации (совместно с Дж. Расгой, Springer, 2020)
Ссылки
[ редактировать ]- ^ Полное имя с домашней страницы , получено 23 декабря 2021 г.
- ^ Jump up to: а б с «Кристина Сернадас» , Институт телекоммуникаций Лиссабонского технического университета , получено 23 декабря 2021 г.
- ^ Кристина Сернадас в проекте «Математическая генеалогия»
- ^ «Книги автора Сернадаса» , Институт телекоммуникаций Лиссабонского технического университета , получено 23 декабря 2021 г.
- ^ Обзоры анализа и синтеза логики :
- Бранислав Боричич, Збл 1137.03001
- Александр Коста-Лейте, MR 2378708
- ^ Обзор математического учебника по вычислимости :Лян Ю, Збл 1422.68001
Внешние ссылки
[ редактировать ]- Публикации Кристины Сернадас проиндексированы Google Scholar
