Please use this identifier to cite or link to this item: dspace.pdpu.edu.ua/jspui/handle/123456789/11801
Title: Елементи математичної логіки. Ч. 1. Логіка висловлень. Практикум з розв’язання завдань з навчальної дисципліни «Елементи теорії множин і математичної логіки»
Other Titles: Elements of mathematical logic. P. 1. The logic of statements. Workshop on solving problems in the discipline "Elements of set theory and mathematical logic
Authors: Драганюк, Сергій Володимирович
Draganyuk, Sergiy Volodymyrovych
Чепок, Олег Леонідович
Chepok, Oleh Leonidovych
Keywords: елементи логіки висловлень
алгебра висловлень
теорія множин
математична логіка
навчально-математичний план з математичної логіки
семантика в логіці
elements of logic of statements
set theory
навчально-математичний план з математичної логіки
algebra of expressions
mathematical logic
semantics in logic
Issue Date: 2021
Publisher: Державний заклад «Південноукраїнський національний університет імені К. Д. Ушинського»
Citation: Драганюк С. В. Елементи математичної логіки. Ч. 1. Логіка висловлень. Практикум з розв’язання завдань з навчальної дисципліни «Елементи теорії множин і математичної логіки» / С. В. Драганюк. - Одеса : ПНПУ імені К. Д. Ушинського, 2021. - 36 с.
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.
URI: dspace.pdpu.edu.ua/jspui/handle/123456789/11801
Appears in Collections:Кафедра вищої математики і статистики

Files in This Item:
File Description SizeFormat 
Draganyuk Sergiy Volodymyrovych 2021.pdf757.53 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.