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