Елементи математичної логіки. Ч. 1. Логіка висловлень. Практикум з розв’язання завдань з навчальної дисципліни «Елементи теорії множин і математичної логіки»

Abstract

Змістовий модуль «Елементи логіки висловлень. Алгебра висловлень» є частиною курсу «Елементи теорії множин і математичної логіки», який викладається для здобувачів освіти першого року навчання за першим (бакалаврським) рівнем за спеціальністю «Середня освіта (Математика)». Мета модуля полягає в тому, щоб сформувати у студентів усвідомлення зв’язку основних понять та методів математичної логіки не тільки з побудовою довільної математичної теорії, але і будь-якої іншої наукової теорії, а також зв’язку математичної логіки з логічним програмуванням, теорією алгоритмів, із багатьма іншими розділами інформатики та інженерної діяльності. Content module "Elements of the logic of statements. Algebra of Expressions "is part of the course" Elements of Set Theory and Mathematical Logic ", which is taught to first-year students at the first (bachelor's) level in the specialty" Secondary Education (Mathematics) ". The purpose of the module is to form students' awareness of the connection of basic concepts and methods of mathematical logic not only with the construction of arbitrary mathematical theory, but also any other scientific theory, as well as the connection of mathematical logic with logical programming, algorithm theory, with many other sections of computer science and engineering.