Cristina Sernadas facts for kids
Maria Cristina Sernadas, born in 1951, is a smart Portuguese mathematician. She studies something called mathematical logic. This field helps us understand how computers think and solve problems. Her work also looks at how different types of logic can work together. She is a professor at the Technical University of Lisbon. There, she teaches about logic and how computers work.
Becoming a Math Expert
Maria Cristina Sernadas loved math from a young age. She studied mathematics at the University of Lisbon. She finished her first degree in 1973. Later, she went to the University of London to continue her studies. In 1980, she earned her Ph.D. in mathematics. Her special research for her Ph.D. was about "Multivariate Branching Processes." This topic is part of probability theory, which deals with chances and predictions.
After her Ph.D., she continued her important work. In 1988, she completed a special qualification called "agregação." This allowed her to become a full professor. By 1993, she was a full professor at the Technical University of Lisbon.
Books by Maria Cristina Sernadas
Maria Cristina Sernadas has written many helpful books. These books share her knowledge with students and other experts. Here are some of her books:
- Introdução à Teoria da Computação (This means Introduction to the Theory of Computing). It was published in 1993.
- Introdução à Programação em Mathematica (This means Introduction to Programming in Mathematica). She wrote this with other authors. It helps people learn how to program using a special math software. The first edition came out in 1999.
- Foundations of Logic and Theory of Computation (This means Basics of Logic and How Computers Work). She wrote this with A. Sernadas. It came out in 2008.
- Analysis and Synthesis of Logics: How To Cut And Paste Reasoning Systems (This book is about how to combine different ways of thinking logically). She wrote this with several other experts in 2008.
- A Mathematical Primer on Computability (This book is a basic guide to what computers can and cannot do). She wrote this with A. Sernadas, J. Rasga, and J. Ramos in 2018.
- A Mathematical Primer on Linear Optimization (This book is a basic guide to finding the best solutions for problems using math). She wrote this with D. Gomes, A. Sernadas, J. Rasga, and P. Mateus in 2019.
- Decidability of Logical Theories and Their Combination (This book looks at whether certain logical problems can be solved). She wrote this with J. Rasga in 2020.