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.