DSpace JSPUI
DSpace зберігає і дозволяє легкий і відкритий доступ до всіх видів цифрового контенту, включаючи текст, зображення, анімовані зображення, MPEG і набори даних
Дізнатися більше
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://dspace.ddpu.edu.ua/ddpu/handle/123456789/172| Назва: | Методичні вказівки до практичних занять з курсу "Математична логіка та теорія алгоритмів. Розділ "Математична логіка"" |
| Інші назви: | для спец. 014 "Середня освіта (Математика)" |
| Автори: | Кайдан, Н. В. Пащенко, З. Д. |
| Ключові слова: | математична логіка теорія алгоритмів алгебра висловлень таблиці істинності числення висловлень логіка предикатів |
| Дата публікації: | 2019 |
| Короткий огляд (реферат): | Даний навчальний посібник розроблено для практичних занять з математичної логіки. Він охоплює теми: алгебра висловлень, числення висловлень та логіка предикатів. Кожен параграф відповідає одному практичному заняттю і має наступну структуру: тема заняття, мета заняття, необхідні теоретичні відомості, приклади розв’язування задач, вправи для аудиторної роботи та задачі для самостійної. Рекомендовано для студентів фізико-математичних факультетів педагогічних університетів. |
| Опис: | Математична логіка займає одне з найважливіших місць у сучасній математичній науці. Вона знайшла таке широке застосування в різноманітніших галузях наукових досліджень, якого ніколи не знала традиційна формальна логіка. Математична логіка та теорія алгоритмів з великим успіхом використовуються в теорії релейно-контактних схем і в теорії автоматів, тобто в кібернетиці, в лінгвістиці, в економічних дослідженнях, у фізіології мозку і психології тощо. Математична логіка дуже важлива для вчителів математики. Вона дає можливість краще зрозуміти структурно-логічну схему шкільного курсу математики, глибше вникнути в суть поняття доведення, з’ясувати зміст поняття логічного слідування, встановити зв’язки між різного роду теоремами тощо. |
| URI (Уніфікований ідентифікатор ресурсу): | http://hdl.handle.net/123456789/172 |
| Розташовується у зібраннях: | Навчальні видання |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| Методичні вказівки Математична логіка.pdf | 16,54 MB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.