| Найдено документов - 7 | Найти похожие: "Заглавие" = 'Математическая логика' | Версия для печати |
Сортировать по:
1. Документ
Скорубский, В. И.
Математическая логика : учебник и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. — Москва : Юрайт, 2025. — 211 с. — (Высшее образование). — ISBN 978-5-534-01114-2. — Текст : электронный.
Математическая логика : учебник и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. — Москва : Юрайт, 2025. — 211 с. — (Высшее образование). — ISBN 978-5-534-01114-2. — Текст : электронный.
Внешний ресурс:
ЭБС ЮРАЙТ. Электронная версия. Доступ по логину и паролю. Доступ до 25.03.2027
Подробнее
Авторы: Скорубский В. И., Поляков В. И., Зыков А. Г.
Отраслевые рубрики: математика, математическая логика
Ключевые слова: алгебра логики, булева алгебра, верификация, вероятностная логика, высказывания, интервальная логика Аллена, исчисление высказываний, Квайна метод, логика, логика высказываний, логика предикатов, логический вывод, логическое программирование, неклассическая логика, нечеткая логика, предикаты, Пролог, темпоральная логика
Индексы ББК: 22.12я73
Представления: Формат MARC21
2. Документ
Игошин, В. И.
Математическая логика / В. И. Игошин. — Москва : ИНФРА-М, 2023. — 399 с. — (Высшее образование: Бакалавриат). — Список лит.: с. 307. — ISBN 978-5-16-011691-4. — Текст : электронный.
Математическая логика / В. И. Игошин. — Москва : ИНФРА-М, 2023. — 399 с. — (Высшее образование: Бакалавриат). — Список лит.: с. 307. — ISBN 978-5-16-011691-4. — Текст : электронный.
Внешний ресурс:
ЭБС ZNANIUM. Электронная версия. Доступ по логину и паролю. Доступ до 31.12.2025
Дисциплина из КО: Математическая логика и теория алгоритмов
Подробнее
Авторы: Игошин В. И.
Отраслевые рубрики: логика, математика, математическая логика, философские науки
Ключевые слова: аксиоматические теории, алгебра высказываний, булевы функции, высказывания, дедукция, кванторные операции, логика предикатов, логическая равносильность, логические операции, логическое программирование, логическое следование, метод резолюции, мощность множеств, нормальные формы, полнота, предикаты, проблема разрешения выполнимости, проблема разрешения общезначимости, Пролог, равносильные преобразования формул, система аксиом, тавтология, теория формального вывода, формализованные исчисления высказываний, формальные аксиоматические теории
Индексы ББК: 22.12я73, 87.45я73
Представления: Формат MARC21
3. Книга
Полочный шифр: 22.12я73 - Ш 24
Шапорев, С. Д.
Математическая логика : курс лекций и практических занятий: учебное пособие для вузов / С. Д. Шапорев. — Санкт-Петербург : БХВ-Петербург, 2019. — 416 с. : ил. — (Учебное пособие). — Список лит.: с. 405. - Предм. указ.: с. 406. — ISBN 978-5-9775-3806-0. — Текст : непосредственный.
Математическая логика : курс лекций и практических занятий: учебное пособие для вузов / С. Д. Шапорев. — Санкт-Петербург : БХВ-Петербург, 2019. — 416 с. : ил. — (Учебное пособие). — Список лит.: с. 405. - Предм. указ.: с. 406. — ISBN 978-5-9775-3806-0. — Текст : непосредственный.
Экземпляры: Всего: 40, из них: аб.-40 в наличии 39
Дисциплина из КО: Математическая логика и теория алгоритмов
Подробнее
Авторы: Шапорев С. Д.
Отраслевые рубрики: математика, математическая логика
Ключевые слова: алгебра высказываний, алгебра логики, булева алгебра, Жегалкина полином, исчисление высказываний, исчисление предикатов, Карно карты, логика предикатов, логические задачи, логические операции, машина Тьюринга, рекурсия, теорема дедукции, теория алгоритмов
Индексы ББК: 22.12я73
Переиздания: DU/561218211
Представления: Формат MARC21
4. Книга
Полочный шифр: 22.12я73 - Ш 24
Шапорев, С. Д.
Математическая логика : курс лекций и практических занятий: учебное пособие для вузов / С. Д. Шапорев. — Санкт-Петербург : БХВ-Петербург, 2017. — 416 с. : ил. — (Учебное пособие). — Список лит.: с. 405. - Предм. указ.: с. 406. — ISBN 978-5-9775-3806-0. — Текст : непосредственный.
Математическая логика : курс лекций и практических занятий: учебное пособие для вузов / С. Д. Шапорев. — Санкт-Петербург : БХВ-Петербург, 2017. — 416 с. : ил. — (Учебное пособие). — Список лит.: с. 405. - Предм. указ.: с. 406. — ISBN 978-5-9775-3806-0. — Текст : непосредственный.
Экземпляры: Всего: 10, из них: аб.-10 в наличии 10
Подробнее
Авторы: Шапорев С. Д.
Отраслевые рубрики: математика, математическая логика
Ключевые слова: алгебра высказываний, алгебра логики, булева алгебра, Жегалкина полином, исчисление высказываний, исчисление предикатов, Карно карты, логика предикатов, логические задачи, логические операции, машина Тьюринга, рекурсия, теорема дедукции, теория алгоритмов
Индексы ББК: 22.12я73
Переиздания: DU/602779816
Представления: Формат MARC21
5. Книга
Полочный шифр: 87.45я73 - Л 656
Лихтарников, Л. М.
Математическая логика : курс лекций. Задачник-практикум и решения: учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. — 3-е изд., испр. — Санкт-Петербург : Лань, 2008. — 288 с. — (Учебники для вузов. Специальная литература). — ISBN 9785811400829. — Текст : непосредственный.
Математическая логика : курс лекций. Задачник-практикум и решения: учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. — 3-е изд., испр. — Санкт-Петербург : Лань, 2008. — 288 с. — (Учебники для вузов. Специальная литература). — ISBN 9785811400829. — Текст : непосредственный.
Экземпляры: Всего: 1, из них: аб.-1 в наличии 1
Подробнее
Авторы: Лихтарников Л. М., Сукачева Т. Г.
Отраслевые рубрики: логика, математика, математическая логика, философия
Ключевые слова: алгебра логики, алгоритмы, булева алгебра, высказывания, Геделя теорема о неполноте, двойственность, дедукция, дизъюнктивные нормальные формы, доказательство, исчисление высказываний, категоричность, конъюнктивные нормальные формы, логика предикатов, логические теории, непротиворечивость, предикаты, разрешимость
Индексы ББК: 87.45я73, 22.12я73
Представления: Формат MARC21
6. Книга
Полочный шифр: 87.45я44я73 - К 608
Колмогоров, А. Н.
Математическая логика : учебное пособие / А. Н. Колмогоров, А. Г. Драгалин. — 3-е изд., стер. — Москва : КомКнига, 2006. — 240 с. — (Классический университетский учебник). — ISBN 9785484005208. — Текст : непосредственный.
Математическая логика : учебное пособие / А. Н. Колмогоров, А. Г. Драгалин. — 3-е изд., стер. — Москва : КомКнига, 2006. — 240 с. — (Классический университетский учебник). — ISBN 9785484005208. — Текст : непосредственный.
Экземпляры: Всего: 1, из них: аб.-1 в наличии 1
Подробнее
Авторы: Колмогоров А. Н., Драгалин А. Г.
Отраслевые рубрики: логика, математика, математическая логика
Ключевые слова: алгоритмы, доказательства, исчисление высказываний, исчисление предикатов, логико-математические языки, логические законы, множества, теория алгоритмов, теория доказательств, теория множеств, формальные аксиоматические теории
Форматированное содержание:
Введение в математическую логику
Математическая логика. Дополнительные главы
Индексы ББК: 87.45я44я73, 22.12я44я73
Представления: Формат MARC21
7. Книга
Полочный шифр: 22.12я723 - Н 64
Никольская, И. Л.
Математическая логика : учебник для техникумов / И. Л. Никольская. — Москва : Высшая школа, 1981. — 127 с. — Использ. лит.: с. 123. - Предм. указ.: с. 124. — Текст : непосредственный.
Математическая логика : учебник для техникумов / И. Л. Никольская. — Москва : Высшая школа, 1981. — 127 с. — Использ. лит.: с. 123. - Предм. указ.: с. 124. — Текст : непосредственный.
Экземпляры: Всего: 1, из них: аб.-1 в наличии 1
Подробнее
Авторы: Никольская И. Л.
Отраслевые рубрики: математика, математическая логика
Ключевые слова: высказывания, высказывательные формы, закон контрапозиции, импликация, кванторы, логика высказываний, логическая равносильность, логические операции, логическое следование, нормальные формы, обратные предложения, переключательные схемы, предикаты, противоположные предложения, равносильные уравнения, тавтология, эквиваленция
Индексы ББК: 22.12я723
Представления: Формат MARC21