Online Course
Mathematical Logic and Algorithms Theory
Tomsk State University of Control Systems and Radioelectronics via iversity
-
135
-
- Write review
Overview
Upon completion of the course, students will have acquired fundamental knowledge that is valuable in itself and will serve as the foundation for other studies. For example, software engineers strongly rely on logic-mathematical theories in their work.
• Natural languages possess a number of flaws - inaccuracy, polysemy, complexity.
• Knowledge of the simple yet powerful methods of mathematical statement transformations made possible by the language of logic is just as vital as is the knowledge of elementary algebra. No need to reinvent the wheel.
• Invented almost a century ago to address the needs of mathematics, mathematical logic has found application in theoretical and practical programming.
• When dealing with applied problems, a researcher has to switch between the descriptive language, mathematical language, the language of numerical methods and algorithms, and specific programming languages. The language of mathematical logic offers a great opportunity to practice this translation between languages and is used as a powerful formalised tool for transmission of information between distant languages.
Syllabus
Chapter 1 - Mission of mathematical logic:
Goals, objectives, methods.
Relation between mathematics and mathematical logic.
Examples of logical errors, sophisms and paradoxes.
Brief history of mathematical logic, discussing how problems mathematical logic faced and solved in its development, and how mathematical logic integrates further and further into programming.
Chapter 2 - Foundations of the set theory:
Set theory is the basis for development of languages.
Chapter 3 - Propositional logic:
Propositional logic studies the simplest yet the most important formal language.
Chapter 4 - First-order languages:
The language of propositional logic has limited tools, so we talk about more complex languages based on predicate logic. The language of predicate logic offers tools for full and exact description of any formal notions and statements.
Chapter 5 - Axiomatic method:
The axiomatic method makes it possible to solve many logical problems, errors and paradoxes. It is widely used in today's mathematics and the knowledge of it is vital for anyone using functional and logical programming languages.
Chapter 6 - Mathematical proof:
Discussion of the types of mathematical proof and how proof can be aided with a computer.
Chapter 7 - Algorithm theory:
To learn about the possibilities of the algorithmic approach and the limitations of calculations, one must know the rigorous definition of algorithms and computability. The module offers these definitions and defines algorithmically unsolvable problems. The module introduces the concept of algorithm complexity, which is an important factor when selecting algorithms to solve problems. The module also compares problems by complexity - this knowledge makes it possible to use any search algorithm to solve problem instead of search for the good algorithm.
Taught by
Nadezhda Khabibulina and Valentin Zyuzkov
Tags
Related Courses
-
Introduction to Mathematical Thinking
Stanford University
4.4 -
Mathematical Thinking in Computer Science
University of California, San Diego , Higher School of Economics
4.5 -
Computer Science: Algorithms, Theory, and Machines
Princeton University
-
Introduction to Discrete Mathematics for Computer Science
University of California, San Diego
-
Mathematics for Machine Learning
Imperial College London
3.0 -
Data Structures and Algorithms
Higher School of Economics, University of California, San Diego
Reviews
5.0 rating, based on 2 reviews
-
Suganya A is taking this course right now, spending 4 hours a week on it and found the course difficulty to be easy.
I change to agree courge and complete. But l being toss then I trying to compete with me. Thanks this opportunity for the day . That's good to me . This course very useful for future references and idea
Thank you for the opportunity for you.
-
Masood Iqbal completed this course.