Mathematical Logic and Algorithms Theory

0 votes

Free

We present a course developed by the team of Tomsk State University of Control Systems and Radioelectronics.

This course offers basic knowledge in mathematical logic.

The goals of mathematical logic are:

To provide a formal language for mathematical statements that is easily translatable into the natural language and that allows compact and convenient notation.

To offer clear and unambiguous interpretation of such statements that is at the same time simple and close to the natural mathematical concepts.

We made sure to make this course informative and interesting for everyone!

What will I learn?

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.

What do I need to know?

Most of the course content will be understandable for students with only a high school level of education. Some minor sections of the course will require knowledge of imperative programming and elements of mathematical analysis.

Course Structure

The course consists of 7 chapters:

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.

Tags: Customer Service Certification ProgramHistory+of+Math

Details: http://iversity.org/en/cours...-logic-and-algorithms-theory

Starts : 2016-05-16

Iversity

Comments

Reviews

-- no reviews yet -- make the first review

Add review [?] Discuss on the Forum

Alternatives
All alternatives to all Iversity courses

-- no alternatives found for the course --
If you know any alternatives, please let us know.

Add alternative course [?]

Prerequisites

-- no prerequsites found for the course --
If you can suggest any prerequisite, please let us know.

Add prerequisite [?]

Paths

No Paths inclusing the course. You can build and share a path with this course included.

Certification Exams

-- there are no exams to get certification after this course --
If your company does certification for those who completed this course then register your company as certification vendor and add your exams to the Exams Directory.

Add My Exams

Similar courses

Courses related to the course subject

Advanced Analytic Methods in Science and Engineering
13 0 0 Advanced Analytic Methods in Science and Engineering is a comprehensive treatment of the advanced methods of applied mathematics.
Details:http://ocw.mit.edu...ineering-fall-2004

Advanced Calculus for Engineers
10 0 0 This course analyzes the functions of a complex variable and the calculus of residues. It also covers subjects such as ordinary di…
Details:http://ocw.mit.edu...ngineers-fall-2004

Advanced Complexity Theory
8 0 0 This graduate-level course focuses on current research topics in computational complexity theory. Topics include: Nondeterministic…
Details:http://ocw.mit.edu...theory-spring-2016

Advanced Complexity Theory
0 0 The topics for this course cover various aspects of complexity theory, such as the basic time and space classes, the po…
Details:http://ocw.mit.edu...y-theory-fall-2001

Advanced Partial Differential Equations with Applications
16 0 0 The focus of the course is the concepts and techniques for solving the partial differential equations (PDE) that permeate various…
Details:http://ocw.mit.edu...ications-fall-2009

AlÃ©atoire : une introduction aux probabilitÃ©s
37 0 0 Ce cours introduit le concept de ProbabilitÃ©, dont la puissance permet de modÃ©liser d'innombrables situations oÃ¹ le hasar…
Details:https://www.coursera.org/course/probas

Algebra
17 0 0 The foundations of Algebra from The Khan Academy.
Details:http://www.udemy.com/algebra2/

Algebra I
12 0 0 This undergraduate level Algebra I course covers groups, vector spaces, linear transformations, symmetry groups, bilinear forms, a…
Details:http://ocw.mit.edu...lgebra-i-fall-2010

Algebra II
15 0 0 This undergraduate level course follows Algebra I. Topics include group representations, rings, ideals, fields, polynomial rings,…
Details:http://ocw.mit.edu...bra-ii-spring-2011

Algebra+
16 0 0 Algebra+ is a 10-week online course designed for students who have successfully completed high school algebra but who placed into…
Details:http://www.canvas.net/

Let us know when you did the course Mathematical Logic and Algorithms Theory .

Add the course Mathematical Logic and Algorithms Theory to My Personal Education Path.

Successfully added to your path.

View your path

Select what exam to connect to the course. The course will be displayed on the exam page in the list of courses supported for certification with the exam.

Course name *:
Description *:
Course web page *:
Course provider name *:
Course provider web site *:
Course price:
* - required

Started on:		Completed on:
Your grade (if any):
Comments:


		Use the filter to find a course from courses directory to suggest it as alternative. Or click "Suggest a course not listed on this site" to add a courses not listed on this site.

Start the course on:
Duration of study:
Notes: