1. 
| 510.23:510.6(075.8)
Б 43
Белова, Л. Ю..
Элементы теории множеств и математической логики: теория и задачи [Текст] : учеб. пособие / Л. Ю. Белова, Ю. А. Белов. - Ярославль : ЯрГУ, 2012. - 204 с. ; нет. - ISBN 978-5-8397-0878-5 : Б. ц.
Авторизованный доступ для Академии МУБиНТ. Логин - ваш почтовый адрес от Office365, пароль - mubintББК 22.12я73
Кл.слова (ненормированные):
теория -- множеств -- математическая -- логика -- математика
Аннотация: Пособие содержит материал по элементам теории множеств, исчислению высказываний, исчислению предикатов, булевым функциям. Приведён ряд задач, дополняющих основное содержание пособия.
Файл: rucont.ru - 0Перейти: http://rucont.ru/efd/238155?urlId=o9yWO/Dnod6kSUHFXbZef9MVRBsLjd4rA9eOewDdzYQSD9XHM+DL9Y/sdtdFRJMXWw4Hs6eMcPKoIsjy3kH04g==
Доп.точки доступа:
Белов, Ю. А.; Яросл. гос. ун-т им. П. Г. Демидова
Свободных экз. нет
Найти похожие
|
2.
| 510.23:510.6(075.8)
Б 43
Белов, Ю. А..
Лекции по математической логике и теории алгоритмов [Текст] : учеб. пособие / Ю. А. Белов, В. А. Соколов. - Ярославль : ЯрГУ, 2013. - 139 с. ; нет. - ISBN 978-5-8397-0908-9 : Б. ц.
Авторизованный доступ для Академии МУБиНТ. Логин - ваш почтовый адрес от Office365, пароль - mubintББК 22.12я73
Кл.слова (ненормированные):
математическая -- логика -- теория -- алгоритмов -- математика
Аннотация: Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Файл: rucont.ru - 0Перейти: http://rucont.ru/efd/272173?urlId=DUuUMchsAddb0RQSA3G9nmhvbX6NjAF3FN2Tk0+kVdp9EXsyGZyO1Ry52FHTpLsArqEmAgqfmVT0iNSvSiQvvA==
Доп.точки доступа:
Соколов, В. А.; Яросл. гос. ун-т им. П. Г. Демидова
Свободных экз. нет
Найти похожие
|