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.identifier.uri |
https://dspace.znu.edu.ua/jspui/handle/12345/3274 |
|
dc.description |
Стєганцева П. Г., Гречнєва М. О., Стєганцев Є. В. Математична логіка : навчальний посібник для здобувачів ступеня вищої освіти бакалавра спеціальності "Математика" освітньо-професійних програм "Математика", "Комп'ютерна математика". Запоріжжя : ЗНУ, 2020. 103 с. |
uk |
dc.description.abstract |
UA : У навчальному посібнику подано в систематизованому вигляді програмний матеріал дисципліни “Математична логіка”. Він містить матеріал, необхідний для розуміння і свідомого засвоєння основних понять, теорем, конструкцій всіх подальших курсів. В посібнику наведено достатню кількість задач з детальними та обґрунтованими розв’язаннями. До кожної теми подано задачі, які можуть бути використані на практичних заняттях і для самостійної роботи.
Для здобувачів ступеня вищої освіти бакалавра спеціальності "Математика" освітньо-професійних програм "Математика", "Комп’ютерна математика" |
uk |
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 |