510.6 Д 84 Дурнев, В. Г.. Элементы математической логики [Текст] : учеб. пособие / В. Г. Дурнев. - Ярославль : ЯрГУ, 2006. - 220 с. ; нет. - ISBN 978-5-8397-0465-2 : Б. ц. Авторизованный доступ для Академии МУБиНТ. Логин - ваш почтовый адрес от Office365, пароль - mubint
Кл.слова (ненормированные): математическая -- логика Аннотация: В учебном пособии излагаются основные понятия логики высказываний, исчисления высказываний, логики предикатов и исчисления предикатов. Оно может быть использовано при изучении дисциплин "Математическая логика", "Математическая логика и теория алгоритмов" и "Дискретная математика и математическая логика" (блок ОПД, ЕН), а также специальных дисциплин. Библиогр.: 50 назв. Файл: rucont.ru - 0Перейти: http://rucont.ru/efd/200090?urlId=KUH2EfZZzo8gpAYH8wwaVO8Stqo7RaYMPSs6Y1aMMCK+vrQ9XCU2y9lAEV5l+sAjXIpOxLP4N1XInC7oz1TSQA== Доп.точки доступа: Яросл. гос. ун-т Свободных экз. нет |
510.6 Б 68 Блатов, И. А.. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студентов заоч. факультета / И. А. Блатов, И. М. Сергиевская . - Самара : Изд-во ПГУТИ, 2011. - 41 с. ; нет. - Б. ц. Авторизованный доступ для Академии МУБиНТ. Логин - ваш почтовый адрес от Office365, пароль - mubint
Кл.слова (ненормированные): математика -- математическая -- логика -- теория -- алгоритмов Аннотация: Учебное пособие включает программу экзамена по математической логике и теории алгоритмов, вопросы для самопроверки разной степени сложности по разделам математической логики и теории алгоритмов и ответы к ним, рекомендации к выполнению контрольной работы. Учебное пособие может быть использовано для самостоятельной работы и подготовки к тестированию. Файл: rucont.ru - 0Перейти: http://rucont.ru/efd/319626?urlId=OtDJxpkSu+Cn7H+1SDea6T96TuGN8hoX2BWwZBChk5Ot4rYTbSvZJ/eUsXyCXgKpbfbkD39Su2PNo/u2+7IJZg== Доп.точки доступа: Сергиевская , И. М. Свободных экз. нет |
510.6 Б 68 Блатов, И. А.. Конспект лекций по учебной дисциплине «Математическая логика и теория алгоритмов» [Текст] / И. А. Блатов, О. В. Старожилова . - Самара : Изд-во ПГУТИ, 2011. - 160 с. ; нет. - Б. ц. Авторизованный доступ для Академии МУБиНТ. Логин - ваш почтовый адрес от Office365, пароль - mubint
Кл.слова (ненормированные): математика -- математическая -- логика -- теория -- алгоритмов Аннотация: Конспект лекций затрагивает такие разделы математической логике и теории автоматов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Каждая лекция заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки. Файл: rucont.ru - 0Перейти: http://rucont.ru/efd/319628?urlId=KMSLGaC+DugiF673uWPP5lnGb0xkEEQ2yoe9yn01bxm2DxO2t0r5X/0i+AZZGvOtTX+BrJG0erG3uW4BxiHb5w== Доп.точки доступа: Старожилова , О. В. Свободных экз. нет |