El curso consta de tres partes. La primera parte está dedicada a la base de la lógica matemática, la teoría de las funciones binarias. En la segunda parte se esbozan las secciones básicas de la lógica matemática, más utilizadas en la práctica de la tecnología de la información: métodos de formalización de inferencias, algoritmos de conclusión lógica formal, teorías axiomáticas. La última parte está dedicada a los métodos de verificación de los algoritmos y sistemas distribuidos.
Como resultado del curso, el estudiante debe:
– conocer las nociones, definiciones, términos, métodos, algoritmos, formas de resolver los problemas de la lógica de las declaraciones; la lógica de los predicados y los cálculos correspondientes.
– ser capaz de evaluar la complejidad de los algoritmos, de seleccionar problemas fáciles y difíciles de resolver, de evaluar clases de problemas P y NP.
– para dominar los métodos y algoritmos básicos de comprobación de la secuencia lógica, comprobación de la corrección de los programas, métodos de determinación de la complejidad de los cálculos y organización de algoritmos eficaces.