База данных: Кітаптар
Беті 1, Нәтижелерін: 2
Отмеченные записи: 0
1.
Подробнее
К84
Крупский, В. Н.
Математическая логика и теория алгоритмов [Текст] : учебное пособие / В. Н. Крупский. - М : Академия, 2013. - 416 с. - ). - ISBN 978-5-7695-9559-2 : 4570т. 31т. тг.
ББК 22.1я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
множества -- бинарные отношения -- числовые множества -- исчисление -- логика предикатов -- исчисление предикатов -- алгоритмическая теория -- разрешимые множества -- тезис Тьюринга
Экземпляры всего: 5
5.2-№6 оқу залы (3), 5.3-№7 оқу залы (2)
Свободны: 5.2-№6 оқу залы (3), 5.3-№7 оқу залы (2)
К84
Крупский, В. Н.
Математическая логика и теория алгоритмов [Текст] : учебное пособие / В. Н. Крупский. - М : Академия, 2013. - 416 с. - ). - ISBN 978-5-7695-9559-2 : 4570т. 31т. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
множества -- бинарные отношения -- числовые множества -- исчисление -- логика предикатов -- исчисление предикатов -- алгоритмическая теория -- разрешимые множества -- тезис Тьюринга
Экземпляры всего: 5
5.2-№6 оқу залы (3), 5.3-№7 оқу залы (2)
Свободны: 5.2-№6 оқу залы (3), 5.3-№7 оқу залы (2)
2.
Подробнее
Малыхина, Г. И.
Логика : учебник / Малыхина Г. И. - Минск : Вышэйшая школа, 2023. - 384 с. - ISBN 978-985-06-3498-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 87.4
Кл.слова (ненормированные):
исчисление высказываний -- исчисление предикатов -- логика -- форма мышления
Аннотация: В основе учебника – опыт преподавания общего курса логики студентам учреждений высшего образования. В оригинальной и последовательной форме изложено содержание дисциплины в контексте разнообразных форм человеческой деятельности. Обосновывается фундаментальное значение логических знаний для учебной практики и интеллектуального творчества, в том числе и технического. Первое издание вышло в 2021 г. Для студентов учреждений высшего образования, учащихся гимназий, лицеев, колледжей и училищ. Может быть использован магистрантами и аспирантами, а также изучающими логику самостоятельно.
Малыхина, Г. И.
Логика : учебник / Малыхина Г. И. - Минск : Вышэйшая школа, 2023. - 384 с. - ISBN 978-985-06-3498-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
исчисление высказываний -- исчисление предикатов -- логика -- форма мышления
Аннотация: В основе учебника – опыт преподавания общего курса логики студентам учреждений высшего образования. В оригинальной и последовательной форме изложено содержание дисциплины в контексте разнообразных форм человеческой деятельности. Обосновывается фундаментальное значение логических знаний для учебной практики и интеллектуального творчества, в том числе и технического. Первое издание вышло в 2021 г. Для студентов учреждений высшего образования, учащихся гимназий, лицеев, колледжей и училищ. Может быть использован магистрантами и аспирантами, а также изучающими логику самостоятельно.
Беті 1, Нәтижелерін: 2