База данных: Электронные ресурсы ИБО
Страница 1, Результатов: 4
Отмеченные записи: 0
1.
Подробнее
22.12
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] : учеб. пособие для вузов. - 2-е изд, испр. и доп. / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 1987. - 336 с. - Б. ц.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] : учеб. пособие для вузов. - 2-е изд, испр. и доп. / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 1987. - 336 с. - Б. ц.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
2.
Подробнее
22.12
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 2011. - 356 с. - ISBN 9785922113014 : Б. ц.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- математика -- механика -- прикладная математика и информатика
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 2011. - 356 с. - ISBN 9785922113014 : Б. ц.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- математика -- механика -- прикладная математика и информатика
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
3.
Подробнее
22.12
И 26
Игошин, В. И.
Задачник-практикум по математической логике [Текст] : учеб. пособие для студентов-заочников физ.-мат. фак. пед. ин-тов. / В. И. Игошин ; Моск.гос.заоч.пед.ин-т. - М. : [б. и.], 1986. - 159 с. - Б. ц.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Задачник-практикум -- Типовые примеры -- Самостоятельное решение задач -- Высшее педагогическое образование -- Физико-математический факультет
Аннотация: Задачник-практикум содержит задачи и упражнения по всем разделам курса математической логики в полном соответствии с действующей программой. В каждом параграфе приводятся краткие теоретические сведения, подробно рассматриваются разнообразные типовые примеры и предлагаются задачи для самостоятельного решения. Пособие предназначено для студентов-заочников физико-математических факультетов педагогических институтов.
Держатели документа:
ЗКУ
Экземпляры всего: 1
EFOND (1)
Свободны: EFOND (1)
И 26
Игошин, В. И.
Задачник-практикум по математической логике [Текст] : учеб. пособие для студентов-заочников физ.-мат. фак. пед. ин-тов. / В. И. Игошин ; Моск.гос.заоч.пед.ин-т. - М. : [б. и.], 1986. - 159 с. - Б. ц.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Задачник-практикум -- Типовые примеры -- Самостоятельное решение задач -- Высшее педагогическое образование -- Физико-математический факультет
Аннотация: Задачник-практикум содержит задачи и упражнения по всем разделам курса математической логики в полном соответствии с действующей программой. В каждом параграфе приводятся краткие теоретические сведения, подробно рассматриваются разнообразные типовые примеры и предлагаются задачи для самостоятельного решения. Пособие предназначено для студентов-заочников физико-математических факультетов педагогических институтов.
Держатели документа:
ЗКУ
Экземпляры всего: 1
EFOND (1)
Свободны: EFOND (1)
4.
Подробнее
22.12
К 75
Кочева, А. А.
Алгебра және сандар теориясынан есептік-практикум [Текст] / А. А. Кочева. - Алматы : [б. и.], 1988. - 64 б. - Б. ц.
ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
Алгебра -- Сандар теориясы -- Есептік-практикум -- Жоғары оқу орындары -- Математика
Аннотация: Оқу құралы педагогикалық институттардың физика-математика факультетінің сырттай оқитын студенттеріне арналған. Практикум «Алгебра және сандар теориясы» курсының бағдарламасына сәйкес құрастырылып, типтік есептерді шығару жолдары мен өз бетінше орындауға арналған тапсырмаларды қамтиды.
Держатели документа:
ЗКУ
Экземпляры всего: 1
EFOND (1)
Свободны: EFOND (1)
К 75
Кочева, А. А.
Алгебра және сандар теориясынан есептік-практикум [Текст] / А. А. Кочева. - Алматы : [б. и.], 1988. - 64 б. - Б. ц.
Рубрики: Математическая логика
Кл.слова (ненормированные):
Алгебра -- Сандар теориясы -- Есептік-практикум -- Жоғары оқу орындары -- Математика
Аннотация: Оқу құралы педагогикалық институттардың физика-математика факультетінің сырттай оқитын студенттеріне арналған. Практикум «Алгебра және сандар теориясы» курсының бағдарламасына сәйкес құрастырылып, типтік есептерді шығару жолдары мен өз бетінше орындауға арналған тапсырмаларды қамтиды.
Держатели документа:
ЗКУ
Экземпляры всего: 1
EFOND (1)
Свободны: EFOND (1)
Страница 1, Результатов: 4