Please use this identifier to cite or link to this item:
http://dspace.ddpu.edu.ua/ddpu/handle/123456789/172
Title: | Методичні вказівки до практичних занять з курсу "Математична логіка та теорія алгоритмів. Розділ "Математична логіка"" |
Other Titles: | для спец. 014 "Середня освіта (Математика)" |
Authors: | Кайдан, Н. В. Пащенко, З. Д. |
Keywords: | математична логіка теорія алгоритмів алгебра висловлень таблиці істинності числення висловлень логіка предикатів |
Issue Date: | 2019 |
Abstract: | Даний навчальний посібник розроблено для практичних занять з математичної логіки. Він охоплює теми: алгебра висловлень, числення висловлень та логіка предикатів. Кожен параграф відповідає одному практичному заняттю і має наступну структуру: тема заняття, мета заняття, необхідні теоретичні відомості, приклади розв’язування задач, вправи для аудиторної роботи та задачі для самостійної. Рекомендовано для студентів фізико-математичних факультетів педагогічних університетів. |
Description: | Математична логіка займає одне з найважливіших місць у сучасній математичній науці. Вона знайшла таке широке застосування в різноманітніших галузях наукових досліджень, якого ніколи не знала традиційна формальна логіка. Математична логіка та теорія алгоритмів з великим успіхом використовуються в теорії релейно-контактних схем і в теорії автоматів, тобто в кібернетиці, в лінгвістиці, в економічних дослідженнях, у фізіології мозку і психології тощо. Математична логіка дуже важлива для вчителів математики. Вона дає можливість краще зрозуміти структурно-логічну схему шкільного курсу математики, глибше вникнути в суть поняття доведення, з’ясувати зміст поняття логічного слідування, встановити зв’язки між різного роду теоремами тощо. |
URI: | http://hdl.handle.net/123456789/172 |
Appears in Collections: | Навчальні видання |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Методичні вказівки Математична логіка.pdf | 16,54 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.