База данных: Книги
Страница 1, Результатов: 6
Отмеченные записи: 0
1.
Подробнее
В12
К 608
Колмогоров, А. Н.
Математическая логика : учеб. пособие / А. Н. Колмогоров, А. Г. Драгалин. - Изд. 3-е, стереотип. - Москва : КомКнига, 2006. - 238 с. ; 22,5 см. - (Классический университетский учебник). - ISBN 5-484-00520-5 (в пер.)
ББК В12я7
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
ЛОГИКО-МАТЕМАТИЧЕСКИЕ ЯЗЫКИ -- АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ТЕОРИЯ МНОЖЕСТВ -- ТЕОРИЯ АЛГОРИФМОВ -- ТЕОРИИ ДОКАЗАТЕЛЬСТВ
Доп.точки доступа:
Драгалин, А. Г.
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
К 608
Колмогоров, А. Н.
Математическая логика : учеб. пособие / А. Н. Колмогоров, А. Г. Драгалин. - Изд. 3-е, стереотип. - Москва : КомКнига, 2006. - 238 с. ; 22,5 см. - (Классический университетский учебник). - ISBN 5-484-00520-5 (в пер.)
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
ЛОГИКО-МАТЕМАТИЧЕСКИЕ ЯЗЫКИ -- АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ТЕОРИЯ МНОЖЕСТВ -- ТЕОРИЯ АЛГОРИФМОВ -- ТЕОРИИ ДОКАЗАТЕЛЬСТВ
Доп.точки доступа:
Драгалин, А. Г.
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
2.
Подробнее
В12
Л 136
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. - Изд. 5-е, испр. - Москва : ФИЗМАТЛИТ, 2006. - 255 с. ; 21 см. - Библиогр.: с. 248-249; Предм. указ.: 250-255. - 3000 экз. - ISBN 5-9221-0026-2
ББК В126
Рубрики: Множеств теория--Задачники
Математическая логика--Задачники
Алгоритмы
Кл.слова (ненормированные):
ТЕОРИЯ МНОЖЕСТВ -- ТЕОРИЯ АЛГОРИТМОВ -- АЛГЕБРА ЛОГИКИ -- АКСИОМАТИЧЕСКИЕ ТЕОРИИ
Доп.точки доступа:
Максимова, Л. Л.
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
Л 136
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. - Изд. 5-е, испр. - Москва : ФИЗМАТЛИТ, 2006. - 255 с. ; 21 см. - Библиогр.: с. 248-249; Предм. указ.: 250-255. - 3000 экз. - ISBN 5-9221-0026-2
| ГРНТИ |
Рубрики: Множеств теория--Задачники
Математическая логика--Задачники
Алгоритмы
Кл.слова (ненормированные):
ТЕОРИЯ МНОЖЕСТВ -- ТЕОРИЯ АЛГОРИТМОВ -- АЛГЕБРА ЛОГИКИ -- АКСИОМАТИЧЕСКИЕ ТЕОРИИ
Доп.точки доступа:
Максимова, Л. Л.
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
3.
Подробнее
В12
И 269
Игошин, Владимир Иванович.
Математическая логика : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 050201.65 - Математика / В. И. Игошин. - Москва : ИНФРА-М, 2012. - 399 с. : табл. ; 22 см + 1 эл. опт. диск (CD-ROM). - (Высшее образование). - Библиогр.: с. 389-392. - 1000 экз. - ISBN 978-5-16-005204-5 (в пер.) : 260.91 р.
Фактическая дата выхода в свет : 2011
ББК В12я73
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
математическая логика -- алгебра высказываний -- логика предикатов -- аксиоматические теории
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
И 269
Игошин, Владимир Иванович.
Математическая логика : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 050201.65 - Математика / В. И. Игошин. - Москва : ИНФРА-М, 2012. - 399 с. : табл. ; 22 см + 1 эл. опт. диск (CD-ROM). - (Высшее образование). - Библиогр.: с. 389-392. - 1000 экз. - ISBN 978-5-16-005204-5 (в пер.) : 260.91 р.
Фактическая дата выхода в свет : 2011
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
математическая логика -- алгебра высказываний -- логика предикатов -- аксиоматические теории
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
4.
Подробнее
В1
Б 854
Босс, В.
Лекции по математике / В. Босс. - Москва : URSS.
Т. 6 : Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя. - Изд. 3-е, испр. и доп. - 2013. - 207 с. : ил. ; 22 см. - Библиогр.: с. 202-203 (28 назв.). - Предм. указ.: с. 204-207. - ISBN 978-5-397-03412-8 : 237.00 р.
ББК В1 + В192
Рубрики: Математическая логика
Вычислительная математика
Кл.слова (ненормированные):
математическая логика -- вычислительная математика -- алгоритмы (матем.) -- теоремы Геделя -- универсальные функции -- нумерации (матем.) -- доказуемость (матем.) -- математическая логика -- Диофантов язык -- десятая проблема Гильберта -- конструктивная математика -- аксиоматические теории -- теория моделей -- степени неразрешимости
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
Б 854
Босс, В.
Лекции по математике / В. Босс. - Москва : URSS.
Т. 6 : Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя. - Изд. 3-е, испр. и доп. - 2013. - 207 с. : ил. ; 22 см. - Библиогр.: с. 202-203 (28 назв.). - Предм. указ.: с. 204-207. - ISBN 978-5-397-03412-8 : 237.00 р.
| ГРНТИ |
Рубрики: Математическая логика
Вычислительная математика
Кл.слова (ненормированные):
математическая логика -- вычислительная математика -- алгоритмы (матем.) -- теоремы Геделя -- универсальные функции -- нумерации (матем.) -- доказуемость (матем.) -- математическая логика -- Диофантов язык -- десятая проблема Гильберта -- конструктивная математика -- аксиоматические теории -- теория моделей -- степени неразрешимости
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
5.
Подробнее
В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)
6.
Подробнее
В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)
Страница 1, Результатов: 6