База данных: Книги
Страница 3, Результатов: 28
Отмеченные записи: 0
21.
Подробнее
В12
К 608
Колмогоров, Андрей Николаевич (1903-1987).
Математическая логика : дополнительные главы : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; МГУ им. М. В. Ломоносова. - Издание 4-е издание, обновленное. - Москва : Едиториал УРСС, 2013. - 236, [1] с. ; 22 см. - (Классический университетский учебник). - Библиография: с. 227-228 (19 назв.). - Именной указатель: с. 229-230. - Предметный указатель: с. 231-237. - ISBN 978-5-354-01446-0 : 253.00 р., 462.00 р.
ББК В12я7
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Московский государственный университет им. М. В. Ломоносова
Экземпляры всего: 2
ОЧЗ (1), КХ (1)
Свободны: ОЧЗ (1), КХ (1)
К 608
Колмогоров, Андрей Николаевич (1903-1987).
Математическая логика : дополнительные главы : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; МГУ им. М. В. Ломоносова. - Издание 4-е издание, обновленное. - Москва : Едиториал УРСС, 2013. - 236, [1] с. ; 22 см. - (Классический университетский учебник). - Библиография: с. 227-228 (19 назв.). - Именной указатель: с. 229-230. - Предметный указатель: с. 231-237. - ISBN 978-5-354-01446-0 : 253.00 р., 462.00 р.
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Московский государственный университет им. М. В. Ломоносова
Экземпляры всего: 2
ОЧЗ (1), КХ (1)
Свободны: ОЧЗ (1), КХ (1)
22.
Подробнее
В12
Г 554
Глухов, Михаил Михайлович.
Математическая логика. Дискретные функции. Теории алгоритмов : учебное пособие для студентов вузов, обучающихся по направлению подготовки (специальности) 090301 - "Компьютерная безопасность" и 090303 - "Информационная безопасность автоматизированных систем" / М.М. Глухов, А.Б. Шишков. - Москва ; Санкт-Петербург ; Краснодар : Лань, 2012. - 405 с. ; 21 см. - Вар. загл. : Дискретные функции. - Вар. загл. : Теория алгоритмов. - Библиогр.: с. 398-401. - ISBN 978-5-8114-1344-7 (в пер.) : 669.90 р., 335.28 р.
ББК В12я73
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Дискретные функции--Учебные издания для высших учебных заведений
Алгоритмов теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
математическая логика -- дискретные функции -- теория алгоритмов -- алгебра высказываний -- алгебра предикатов
Доп.точки доступа:
Шишков, Алексей Борисович
Экземпляры всего: 2
ОЧЗ (1), КХ (1)
Свободны: ОЧЗ (1), КХ (1)
Г 554
Глухов, Михаил Михайлович.
Математическая логика. Дискретные функции. Теории алгоритмов : учебное пособие для студентов вузов, обучающихся по направлению подготовки (специальности) 090301 - "Компьютерная безопасность" и 090303 - "Информационная безопасность автоматизированных систем" / М.М. Глухов, А.Б. Шишков. - Москва ; Санкт-Петербург ; Краснодар : Лань, 2012. - 405 с. ; 21 см. - Вар. загл. : Дискретные функции. - Вар. загл. : Теория алгоритмов. - Библиогр.: с. 398-401. - ISBN 978-5-8114-1344-7 (в пер.) : 669.90 р., 335.28 р.
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Дискретные функции--Учебные издания для высших учебных заведений
Алгоритмов теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
математическая логика -- дискретные функции -- теория алгоритмов -- алгебра высказываний -- алгебра предикатов
Доп.точки доступа:
Шишков, Алексей Борисович
Экземпляры всего: 2
ОЧЗ (1), КХ (1)
Свободны: ОЧЗ (1), КХ (1)
23.
Подробнее
В174
Н 192
Назарова, Людмила Игнатьевна.
Дискретная математика. Математическая логика и теория графов : [учебное пособие для студентов специальности "Прикладная математика", а также для студентов технических специальностей] / Л. И. Назарова ; Министерство образования и науки Российской Федерации, ФГБОУ ВПО "Восточно-Сибирский государственный университет технологий и управления". - Улан-Удэ : Издательство ВСГУТУ, 2014. - 112 с. : ил., табл. ; 21 см. - Библиография: с. 111-112. - 100 экз. - ISBN 978-5-89230-517-4 : 40.00 р.
ББК В174я73 +
В12я73
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Графов теория--Учебные издания для высших учебных заведений
Дискретная математика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
математическая логика -- графов теория -- дискретная математика -- двойственные фенкции -- принцип двойственности -- алгебра Жегалкина -- линейные функции -- метод Квайна -- диаграммы Вейча -- матрицы графа
Доп.точки доступа:
Автор из Бурятии, но не о Бурятии
Российская Федерация. Министерство образования и науки
Восточно-Сибирский государственный университет технологий и управления (Улан-Удэ)
Экземпляры всего: 4
КХ (3), ОЧЗ (1)
Свободны: КХ (3), ОЧЗ (1)
Н 192
Назарова, Людмила Игнатьевна.
Дискретная математика. Математическая логика и теория графов : [учебное пособие для студентов специальности "Прикладная математика", а также для студентов технических специальностей] / Л. И. Назарова ; Министерство образования и науки Российской Федерации, ФГБОУ ВПО "Восточно-Сибирский государственный университет технологий и управления". - Улан-Удэ : Издательство ВСГУТУ, 2014. - 112 с. : ил., табл. ; 21 см. - Библиография: с. 111-112. - 100 экз. - ISBN 978-5-89230-517-4 : 40.00 р.
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Графов теория--Учебные издания для высших учебных заведений
Дискретная математика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
математическая логика -- графов теория -- дискретная математика -- двойственные фенкции -- принцип двойственности -- алгебра Жегалкина -- линейные функции -- метод Квайна -- диаграммы Вейча -- матрицы графа
Доп.точки доступа:
Автор из Бурятии, но не о Бурятии
Российская Федерация. Министерство образования и науки
Восточно-Сибирский государственный университет технологий и управления (Улан-Удэ)
Экземпляры всего: 4
КХ (3), ОЧЗ (1)
Свободны: КХ (3), ОЧЗ (1)
24.
Подробнее
В12
Ф 86
Фреге, Готлоб (1848-1925).
Логика и логическая семантика / Г. Фреге ; перевод с немецкого, вступительная статья, введение и послесловие Б. В. Бирюкова ; под редакцией З. А. Кузичевой ; комментарии Б. В. Бирюкова, З. А. Кузичевой ; Русская ассоциация чтения, Межвузовский центр исследования информационной культуры РФ. - Издание стереотипное. - Москва : URSS : ЛИБРОКОМ, 2015. - 511, [1] с. : ил., портр. ; 22 cм см. - (Классики науки). - Библиография в подстрочных примечаниях. - Именной указатель: с. 509-511. - Тираж Дополнительный тираж. - ISBN 978-5-397-04924-5 (в пер.) : 1178.00 р.
ББК В12 + Ю3(4Гем) + Ю4
Рубрики: Математическая логика
Семантическая логика
Кл.слова (ненормированные):
математическая логика -- семантическая логика -- логический формульный язык -- логические исследования
Доп.точки доступа:
Бирюков, Б. В. \пер., авт. примеч.\
Кузичева, З. А. \ред., авт. примеч.\
Фреге, Готтлоб (1848-1925) \о нем\
Русская ассоциация чтения
Межвузовский центр исследования информационной культуры Российской Федерации
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Ф 86
Фреге, Готлоб (1848-1925).
Логика и логическая семантика / Г. Фреге ; перевод с немецкого, вступительная статья, введение и послесловие Б. В. Бирюкова ; под редакцией З. А. Кузичевой ; комментарии Б. В. Бирюкова, З. А. Кузичевой ; Русская ассоциация чтения, Межвузовский центр исследования информационной культуры РФ. - Издание стереотипное. - Москва : URSS : ЛИБРОКОМ, 2015. - 511, [1] с. : ил., портр. ; 22 cм см. - (Классики науки). - Библиография в подстрочных примечаниях. - Именной указатель: с. 509-511. - Тираж Дополнительный тираж. - ISBN 978-5-397-04924-5 (в пер.) : 1178.00 р.
| ГРНТИ |
Рубрики: Математическая логика
Семантическая логика
Кл.слова (ненормированные):
математическая логика -- семантическая логика -- логический формульный язык -- логические исследования
Доп.точки доступа:
Бирюков, Б. В. \пер., авт. примеч.\
Кузичева, З. А. \ред., авт. примеч.\
Фреге, Готтлоб (1848-1925) \о нем\
Русская ассоциация чтения
Межвузовский центр исследования информационной культуры Российской Федерации
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
25.
Подробнее
В12
К 608
Колмогоров, Андрей Николаевич (1903-1987).
Математическая логика : введение в математическую логику : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; [редакционная коллегия: Г. Е. Минц и др.] ; Московский государственный университет им. М. В. Ломоносова. - Издание 4-е, обновленное. - Москва : Едиториал URSS, 2013. - 233, [1] с. : ил. ; 22 см. - (Классический университетский учебник). - Библиография: с. 224. - Именной указатель: с. 225-226. - Предметный указатель: с. 227-232. - ISBN 978-5-354-01449-1 (в пер.) : 476.00 р., 462.00 р.
ББК В12я73
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
математическая логика -- теория множеств -- логико-математические языки -- логические законы -- аксиоматические теории
Доп.точки доступа:
Драгалин, Альберт Григорьевич (1941-1998)
Минц, Г. Е. \ред.\
Валиев, М. К. \ред.\
Драгалина-Черная, Е. Г. \ред.\
Нагорный, Н. М. \ред.\
Московский государственный университет им. М. В. Ломоносова
Экземпляры всего: 2
КХ (1), ОЧЗ (1)
Свободны: КХ (1), ОЧЗ (1)
К 608
Колмогоров, Андрей Николаевич (1903-1987).
Математическая логика : введение в математическую логику : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; [редакционная коллегия: Г. Е. Минц и др.] ; Московский государственный университет им. М. В. Ломоносова. - Издание 4-е, обновленное. - Москва : Едиториал URSS, 2013. - 233, [1] с. : ил. ; 22 см. - (Классический университетский учебник). - Библиография: с. 224. - Именной указатель: с. 225-226. - Предметный указатель: с. 227-232. - ISBN 978-5-354-01449-1 (в пер.) : 476.00 р., 462.00 р.
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
математическая логика -- теория множеств -- логико-математические языки -- логические законы -- аксиоматические теории
Доп.точки доступа:
Драгалин, Альберт Григорьевич (1941-1998)
Минц, Г. Е. \ред.\
Валиев, М. К. \ред.\
Драгалина-Черная, Е. Г. \ред.\
Нагорный, Н. М. \ред.\
Московский государственный университет им. М. В. Ломоносова
Экземпляры всего: 2
КХ (1), ОЧЗ (1)
Свободны: КХ (1), ОЧЗ (1)
26.
Подробнее
В12
С 387
Синтаксис и семантика логических систем : материалы 5 Российской школы-семинара (Улан-Удэ, 8-12 августа 2017 г.) / Министерство образования и науки Российской Федерации, Бурятский государственный университет, Институт математики, СО РАН ; [редакционная коллегия Н.А. Перязев и др.]. - Улан-Удэ : Издательство БГУ, 2017. - 87 с. ; 20 см. - Библиогр. в конце ст. - 70 экз. - ISBN 978-5-9793-1053-4 : 50.00 р.
ББК В12я43
Рубрики: Математическая логика--Съезды и конференции
Прикладная математика--Съезды и конференции
Кл.слова (ненормированные):
математическая логика -- прикладная математкиа
Доп.точки доступа:
Перязев, Н. А. \ред.\
Пантелеев, В. И. \ред.\
Винокуров, С. Ф. \ред.\
Щаранхаев, И. К. \ред.\
Автор из Бурятии, но не о Бурятии
Российская Федерация. Министерство образования и науки
Бурятский государственный университет. Институт математики
Российская академия наук. Сибирское отделение
"Синтаксис и семантика логических систем", российская школа-семинар (5 ; 2017 ; Улан-Удэ)
Экземпляры всего: 4
КХ (3), ОЧЗ (1)
Свободны: КХ (3), ОЧЗ (1)
С 387
Синтаксис и семантика логических систем : материалы 5 Российской школы-семинара (Улан-Удэ, 8-12 августа 2017 г.) / Министерство образования и науки Российской Федерации, Бурятский государственный университет, Институт математики, СО РАН ; [редакционная коллегия Н.А. Перязев и др.]. - Улан-Удэ : Издательство БГУ, 2017. - 87 с. ; 20 см. - Библиогр. в конце ст. - 70 экз. - ISBN 978-5-9793-1053-4 : 50.00 р.
| ГРНТИ |
Рубрики: Математическая логика--Съезды и конференции
Прикладная математика--Съезды и конференции
Кл.слова (ненормированные):
математическая логика -- прикладная математкиа
Доп.точки доступа:
Перязев, Н. А. \ред.\
Пантелеев, В. И. \ред.\
Винокуров, С. Ф. \ред.\
Щаранхаев, И. К. \ред.\
Автор из Бурятии, но не о Бурятии
Российская Федерация. Министерство образования и науки
Бурятский государственный университет. Институт математики
Российская академия наук. Сибирское отделение
"Синтаксис и семантика логических систем", российская школа-семинар (5 ; 2017 ; Улан-Удэ)
Экземпляры всего: 4
КХ (3), ОЧЗ (1)
Свободны: КХ (3), ОЧЗ (1)
27.
Подробнее
В12
Р 242
Раскина, Инесса Владимировна.
Логические задачи / И. В. Раскина, Д. Э. Шноль. - Издание 7-е, стереотипное. - Москва : МЦНМО, 2020. - 120 с. : ил., табл. ; 20 см. - (Школьные математические кружки). - 2000 экз. - ISBN 978-5-4439-2956-9 : 136.77 р.
ББК В12 + Ч426.2-25
Рубрики: Математическая логика--Изучение в школе
Школьные математические кружки--Преподавание
Кл.слова (ненормированные):
математическая логика -- школьные математические кружки -- африканские игры
Доп.точки доступа:
Шноль, Дмитрий Эммануилович
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
| 12+ |
Р 242
Раскина, Инесса Владимировна.
Логические задачи / И. В. Раскина, Д. Э. Шноль. - Издание 7-е, стереотипное. - Москва : МЦНМО, 2020. - 120 с. : ил., табл. ; 20 см. - (Школьные математические кружки). - 2000 экз. - ISBN 978-5-4439-2956-9 : 136.77 р.
| ГРНТИ |
Рубрики: Математическая логика--Изучение в школе
Школьные математические кружки--Преподавание
Кл.слова (ненормированные):
математическая логика -- школьные математические кружки -- африканские игры
Доп.точки доступа:
Шноль, Дмитрий Эммануилович
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
28.
Подробнее
В12
К 608
Колмогоров, Андрей Николаевич.
Математическая логика : введение в математическую логику : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; редакционная коллегия: Г. Е. Минц [и др.] ; Московский государственный университет им. М. В. Ломоносова. - Издание 6-е. - Москва : URSS : ЛЕНАНД, 2021. - 233, [1] с. ; 22 см. - (Классический университетский учебник). - Библиография: с. 224. - Именной указатель: с. 225-226. - Предметный указатель: с. 227-234 . - ISBN 978-5-9710-8568-3 : 454.66 р.
ББК В12я7
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
математическая логика -- теория множеств -- логико математические языки -- аксиоматические теории
Доп.точки доступа:
Драгалин, А. Г.
Минц, Г. Е. \ред.\
Валиев, М. К. \ред.\
Драгалина-Черная, Е. Г. \ред.\
Нагорный, Н. М. \ред.\
Московский государственный университет им. М. В. Ломоносова
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
К 608
Колмогоров, Андрей Николаевич.
Математическая логика : введение в математическую логику : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; редакционная коллегия: Г. Е. Минц [и др.] ; Московский государственный университет им. М. В. Ломоносова. - Издание 6-е. - Москва : URSS : ЛЕНАНД, 2021. - 233, [1] с. ; 22 см. - (Классический университетский учебник). - Библиография: с. 224. - Именной указатель: с. 225-226. - Предметный указатель: с. 227-234 . - ISBN 978-5-9710-8568-3 : 454.66 р.
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
математическая логика -- теория множеств -- логико математические языки -- аксиоматические теории
Доп.точки доступа:
Драгалин, А. Г.
Минц, Г. Е. \ред.\
Валиев, М. К. \ред.\
Драгалина-Черная, Е. Г. \ред.\
Нагорный, Н. М. \ред.\
Московский государственный университет им. М. В. Ломоносова
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Страница 3, Результатов: 28