База данных: Книги
Страница 1, Результатов: 28
Отмеченные записи: 0
1.
Подробнее
В12
Л 136
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов : сборник / И.А. Лавров, Л.Л. Максимова. - Изд. 5-е, испр. - Москва : ФИЗМАТЛИТ, 2004. - 255 с. ; 21 см. - Список лит.: с.248-249; Предм. указ.: с.250-255. - ISBN 5-9221-0026-2
ББК В126
Рубрики: Математическая логика--сборник задач
Доп.точки доступа:
Максимова, Л.Л.
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Л 136
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов : сборник / И.А. Лавров, Л.Л. Максимова. - Изд. 5-е, испр. - Москва : ФИЗМАТЛИТ, 2004. - 255 с. ; 21 см. - Список лит.: с.248-249; Предм. указ.: с.250-255. - ISBN 5-9221-0026-2
| ГРНТИ |
Рубрики: Математическая логика--сборник задач
Доп.точки доступа:
Максимова, Л.Л.
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
2.
Подробнее
В12
В 201
Васюков, Владимир Леонидович.
Квантовая логика / В. Л. Васюков ; Российская академия наук, Институт философии. - Москва : Пер Сэ, 2005. - 191 с. ; 21 см. - Библиография: с. 186-191. - 1000 экз. - ISBN 5-9292-0142-0 (в пер.)
Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
В 201
Васюков, Владимир Леонидович.
Квантовая логика / В. Л. Васюков ; Российская академия наук, Институт философии. - Москва : Пер Сэ, 2005. - 191 с. ; 21 см. - Библиография: с. 186-191. - 1000 экз. - ISBN 5-9292-0142-0 (в пер.)
| ГРНТИ |
Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
3.
Подробнее
В12
Е 804
Ершов, Ю. Л.
Математическая логика : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - Изд. 5-е, стер. - Санкт-Петербург : Лань, 2006. - 336 с. ; 21 см. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - 1500 экз. - ISBN 5-8114-0533-2 (в пер.)
ББК В12
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Исчисление высказываний -- Теория множеств -- Алгебраические системы -- Исчисление предикатов -- Теория моделей -- Теория доказательств -- Алгоритмы -- Рекурсивные функции
Аннотация: В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой.
Доп.точки доступа:
Палютин, Е. А.
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
Е 804
Ершов, Ю. Л.
Математическая логика : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - Изд. 5-е, стер. - Санкт-Петербург : Лань, 2006. - 336 с. ; 21 см. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - 1500 экз. - ISBN 5-8114-0533-2 (в пер.)
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Исчисление высказываний -- Теория множеств -- Алгебраические системы -- Исчисление предикатов -- Теория моделей -- Теория доказательств -- Алгоритмы -- Рекурсивные функции
Аннотация: В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой.
Доп.точки доступа:
Палютин, Е. А.
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
4.
Подробнее
В12
Б 649
Бирюков, Б. В.
Крушение метафизической концепции универсальности предметной области в логике. Контроверза Фреге-Шредер : научное издание / Б. В. Бирюков. - 2-е изд., испр. и доп. - Москва : КомКнига, 2005. - 134 с. ; 21,5 см. - ISBN 5-484-00053-X
ББК В12 + Ю4
Рубрики: Математическая логика--История
Кл.слова (ненормированные):
Математическая логика -- логика
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Б 649
Бирюков, Б. В.
Крушение метафизической концепции универсальности предметной области в логике. Контроверза Фреге-Шредер : научное издание / Б. В. Бирюков. - 2-е изд., испр. и доп. - Москва : КомКнига, 2005. - 134 с. ; 21,5 см. - ISBN 5-484-00053-X
| ГРНТИ |
Рубрики: Математическая логика--История
Кл.слова (ненормированные):
Математическая логика -- логика
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
5.
Подробнее
В12
К 493
Клини, С. К.
Математическая логика = Mathematical Logic : переводное издание / С. К. Клини ; пер. с англ. Ю. А. Гастева; под ред. Г. Е. Минца. - Изд. 3-е, стереотип. - Москва : КомКнига, 2007. - 480 с. ; 21,5 см. - Библиогр.: с. 451-465; Авт. и предм. указ.: с. 470-4478. - ISBN 978-5-484-00802-5
ББК В12
Рубрики: Математическая логика
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Минц, Г. Е. \ред.\
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
К 493
Клини, С. К.
Математическая логика = Mathematical Logic : переводное издание / С. К. Клини ; пер. с англ. Ю. А. Гастева; под ред. Г. Е. Минца. - Изд. 3-е, стереотип. - Москва : КомКнига, 2007. - 480 с. ; 21,5 см. - Библиогр.: с. 451-465; Авт. и предм. указ.: с. 470-4478. - ISBN 978-5-484-00802-5
| ГРНТИ |
Рубрики: Математическая логика
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Минц, Г. Е. \ред.\
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
6.
Подробнее
В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)
7.
Подробнее
В12
Л 943
Люксембург, А. А.
Автоматизированное построение математических теорий / А. А. Люксембург. - Москва : КомКнига, 2005. - 32 с. : ил. ; 21,5 см. - (Relata Refero). - 500 экз. - ISBN 5-354-01005-5
Рубрики: Математическая логика--Дедуктивные теории
Кл.слова (ненормированные):
Математическая логика -- дедуктивные теории
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Л 943
Люксембург, А. А.
Автоматизированное построение математических теорий / А. А. Люксембург. - Москва : КомКнига, 2005. - 32 с. : ил. ; 21,5 см. - (Relata Refero). - 500 экз. - ISBN 5-354-01005-5
| ГРНТИ |
Рубрики: Математическая логика--Дедуктивные теории
Кл.слова (ненормированные):
Математическая логика -- дедуктивные теории
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
8.
Подробнее
В12
А 603
Аляев, Ю. А.
Дискретная математика и математическая логика : учебник / Ю. А. Аляев, С. Ф. Тюрин. - Москва : Финансы и статистика, 2006. - 366 с. : ил. ; 21 см. - 3000 экз. - ISBN 5-279-03045-7
ББК В12я73 + В176я73
Рубрики: Математическая логика--Учебники для высших учебных заведений
Дискретная математика--Учебники для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- дискретная математика
Доп.точки доступа:
Тюрин, С. Ф.
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
А 603
Аляев, Ю. А.
Дискретная математика и математическая логика : учебник / Ю. А. Аляев, С. Ф. Тюрин. - Москва : Финансы и статистика, 2006. - 366 с. : ил. ; 21 см. - 3000 экз. - ISBN 5-279-03045-7
| ГРНТИ |
Рубрики: Математическая логика--Учебники для высших учебных заведений
Дискретная математика--Учебники для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- дискретная математика
Доп.точки доступа:
Тюрин, С. Ф.
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
9.
Подробнее
В12
И 269
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов / В. И. Игошин. - 3-е изд., стереотип. - Москва : Асаdemia, 2007. - 304 с. ; 22 см. - (Высшее профессиональное образование). - Библиогр.: с. 301 (22 назв.). - 2000 экз. - ISBN 5-7695-3728-0 (в пер.)
ББК В127я73
Рубрики: Математическая логика--Алгоритмы--Задачи--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- алгоритмы
Экземпляры всего: 3
КХ (2), ОЧЗ (1)
Свободны: КХ (2), ОЧЗ (1)
И 269
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов / В. И. Игошин. - 3-е изд., стереотип. - Москва : Асаdemia, 2007. - 304 с. ; 22 см. - (Высшее профессиональное образование). - Библиогр.: с. 301 (22 назв.). - 2000 экз. - ISBN 5-7695-3728-0 (в пер.)
| ГРНТИ |
Рубрики: Математическая логика--Алгоритмы--Задачи--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- алгоритмы
Экземпляры всего: 3
КХ (2), ОЧЗ (1)
Свободны: КХ (2), ОЧЗ (1)
10.
Подробнее
В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)
Страница 1, Результатов: 28