1. Репозиторій Донбаського державного педагогічного університету
  2. Фізико-математичний факультет
  3. Кафедра методики навчання математики та методики навчання інформатики
  4. Навчальні видання
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://dspace.ddpu.edu.ua/ddpu/handle/123456789/172
Полная запись метаданных
Поле DCЗначениеЯзык
dc.contributor.authorКайдан, Н. В.-
dc.contributor.authorПащенко, З. Д.-
dc.date.accessioned2020-02-07T08:38:17Z-
dc.date.available2020-02-07T08:38:17Z-
dc.date.issued2019-
dc.identifier.urihttp://hdl.handle.net/123456789/172-
dc.descriptionМатематична логіка займає одне з найважливіших місць у сучасній математичній науці. Вона знайшла таке широке застосування в різноманітніших галузях наукових досліджень, якого ніколи не знала традиційна формальна логіка. Математична логіка та теорія алгоритмів з великим успіхом використовуються в теорії релейно-контактних схем і в теорії автоматів, тобто в кібернетиці, в лінгвістиці, в економічних дослідженнях, у фізіології мозку і психології тощо. Математична логіка дуже важлива для вчителів математики. Вона дає можливість краще зрозуміти структурно-логічну схему шкільного курсу математики, глибше вникнути в суть поняття доведення, з’ясувати зміст поняття логічного слідування, встановити зв’язки між різного роду теоремами тощо.ru_RU
dc.description.abstractДаний навчальний посібник розроблено для практичних занять з математичної логіки. Він охоплює теми: алгебра висловлень, числення висловлень та логіка предикатів. Кожен параграф відповідає одному практичному заняттю і має наступну структуру: тема заняття, мета заняття, необхідні теоретичні відомості, приклади розв’язування задач, вправи для аудиторної роботи та задачі для самостійної. Рекомендовано для студентів фізико-математичних факультетів педагогічних університетів.ru_RU
dc.subjectматематична логікаru_RU
dc.subjectтеорія алгоритмівru_RU
dc.subjectалгебра висловленьru_RU
dc.subjectтаблиці істинностіru_RU
dc.subjectчислення висловленьru_RU
dc.subjectлогіка предикатівru_RU
dc.titleМетодичні вказівки до практичних занять з курсу "Математична логіка та теорія алгоритмів. Розділ "Математична логіка""ru_RU
dc.title.alternativeдля спец. 014 "Середня освіта (Математика)"ru_RU
dc.typeBookru_RU
Располагается в коллекциях:Навчальні видання

Файлы этого ресурса:
Файл Описание РазмерФормат 
Методичні вказівки Математична логіка.pdf16,54 MBAdobe PDFПросмотреть/Открыть
Показать базовое описание ресурса Просмотр статистики


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.