Математична логіка
| dc.contributor.author | Стєганцева, Поліна Георгіївна | |
| dc.contributor.author | Гречнєва, Марина Олександрівна | |
| dc.contributor.author | Стєганцев, Євгеній Вікторович | |
| dc.date.accessioned | 2020-09-09T13:26:35Z | |
| dc.date.available | 2020-09-09T13:26:35Z | |
| dc.date.issued | 2020 | |
| dc.description | Стєганцева П. Г., Гречнєва М. О., Стєганцев Є. В. Математична логіка : навчальний посібник для здобувачів ступеня вищої освіти бакалавра спеціальності "Математика" освітньо-професійних програм "Математика", "Комп'ютерна математика". Запоріжжя : ЗНУ, 2020. 103 с. | uk |
| dc.description.abstract | UA : У навчальному посібнику подано в систематизованому вигляді програмний матеріал дисципліни “Математична логіка”. Він містить матеріал, необхідний для розуміння і свідомого засвоєння основних понять, теорем, конструкцій всіх подальших курсів. В посібнику наведено достатню кількість задач з детальними та обґрунтованими розв’язаннями. До кожної теми подано задачі, які можуть бути використані на практичних заняттях і для самостійної роботи. Для здобувачів ступеня вищої освіти бакалавра спеціальності "Математика" освітньо-професійних програм "Математика", "Комп’ютерна математика" | uk |
| dc.identifier.uri | https://dspace.znu.edu.ua/items/ceca7877-3ab0-47bd-b077-0d7a961477c5 | |
| dc.language.iso | uk | uk |
| dc.publisher | ЗНУ | uk |
| dc.subject | математична логіка | uk |
| dc.subject | логіка висловлювань і предикатів | uk |
| dc.subject | булеві функції | uk |
| dc.subject | логічні операції | uk |
| dc.subject | поліном Жегалкіна | uk |
| dc.subject | теорема Поста | uk |
| dc.subject | теорема дедукції | uk |
| dc.subject | числення висловлювань | uk |
| dc.subject | квантори | uk |
| dc.subject | формули логіки предикатів | uk |
| dc.title | Математична логіка | uk |
| dc.type | Книга (монографія) | uk |