Математическая логика [Текст] : учеб.пособие для мат.спец.ин-тов / А.А.Латотин, Ю.А.Макаренков. В.В.Николаева, А.А.Столяр ; Под ред. А.А.Столяра. - Минск : Высш.шк., 1991. - 268 с. : ил. - Библиогр.:с.260. - ISBN 5-339-00342-6 : Б. ц.
Доп.точки доступа: Латотин, Л.А.; Столяр, А.А. \ред.\ Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
В 71 Вольвачев, Раймонд Трофимович. Элементы математической логики и теории множеств [Текст] / Р.Т. Вольвачев. - Минск : Университетское, 1986. - 111 с. - Библиогр.: с.110 (9 назв.) . - Б. ц.
Множеств теория Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Е 80 Ершов, Ю. Л. Математическая логика [Текст] : учеб.пособие для мат.спец.вузов / Ю.Л. Ершов, Е.А. Палютин. - 2-е изд., испр. и доп. - М. : Наука, 1987. - 336 с. - Предм. указ.: с. 335-336. - Б. ц.
Доп.точки доступа: Палютин, Е.А. Экземпляры всего: 4 ХР (4) Свободны: ХР (4) |
Е 80 Ершов, Ю. Л. Математическая логика [Текст] : учеб.пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - 5-е изд., стер. - СПб. ; М. ; Краснодар : Лань, 2005. - 336 с. - ISBN 5-8114-0533-2 : 400 тг.
Доп.точки доступа: Палютин, Е.А. Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
С 89 Судоплатов, С. В. Математическая логика и теория алгоритмов [Текст] : учеб. для вузов / С. В. Судоплатов, Е. В. Овчинникова ; Мин-во образования РФ, Новосиб.гос.техн.ун-т. - М. : ИНФРА-М ; Новосибирск : Изд-во НГТУ, 2008. - 223 с. - (Высшее образование). - Библиогр.: с.212-214 (45 назв.) . - ISBN 978-5-16-001975-8. - ISBN 978-5-7782-0458-4 : 1465 тг.
Теория алгоритмов Доп.точки доступа: Овчинникова, Е.В.; Мин-во образования РФ, Новосиб.гос.техн.ун-т Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Зюзьков, Валентин Михайлович. Математическая логика и теория алгоритмов [Текст] : учебное пособие для вузов / В. М. Зюзьков, А. А. Шелупанов. - М. : Горячая Линия-Телеком, 2007. - 176 с. : ил. - (Учебное пособие для вузов). - Библиогр.: с.173-174 (34 назв.). - ISBN 5-93517-349-2 : 1000 тг.
Доп.точки доступа: Шелупанов, Александр Александрович Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
У 77 Успенский, Владимир Андреевич. Вводный курс математической логики [Текст] : учебное пособие / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - М. : Физматлит, 2007. - 125 с. - ISBN 978-5-9221-0278-0 : 650 тг.
Кл.слова (ненормированные): Кванторы -- Алгоритмы Доп.точки доступа: Верещагин, Николай Константинович; Плиско, Валерий Егорович Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Текст] : учеб.пособие для вузов / В. И. Игошин. - 4-е изд.,стер. - М. : Академия, 2010. - 446 с. - (Высшее профессиональное образование). - Библиогр.: с. 435-442. - ISBN 978-5-7695-7045-2 : 3650 тг.
Теория алгоритмов Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Колмогоров, А. Н. Математическая логика: Дополнительные главы [Текст] : учеб.пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во МГУ, 1984. - 119 с. - Библиогр.: с.117 (19 назв.) . - Б. ц.
Доп.точки доступа: Драгалин, А.Г. Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Гринченков, Дмитрий Валерьевич. Математическая логика и теория алгоритмов для программистов [Текст] : учеб.пособие для вузов / Д. В. Гринченков, С. И. Потоцкий. - М. : КноРус, 2010. - 206 с. : ил. - Библиогр.: с.205-206 (24 назв.). - ISBN 978-5-406-00120-2 : 1390 тг.
Теория алгоритмов Доп.точки доступа: Потоцкий, Сергей Иванович Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Ершов, Ю. Л. Математическая логика [Текст] : учеб.пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - М. : Наука, 1979. - 320 с. - Б. ц.
Доп.точки доступа: Палютин, Е.А. Экземпляры всего: 3 ХР (3) Свободны: ХР (3) |
Карпов, В. Г. Математическая логика и дискретная математика [Текст] : учеб.пособие для вузов / В. Г. Карпов, В. А. Мощенский. - Минск : Вышэйш.шк., 1977. - 254 с. : ил. - Библиогр.: с.242-244. - Б. ц.
Дискретная математика Доп.точки доступа: Мощенский, В.А. Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Осипова, В. А. Логика высказываний и логика предикатов в примерах и задачах [Текст] : монография / В. А. Осипова ; Моск.авиац.ин-т им.Серго Орджоникидзе. - М. : МАИ, 1978. - 53 с. : ил. - Библиогр.: с.52 (9 назв.) . - Б. ц.
Доп.точки доступа: Моск.авиац.ин-т им.Серго Орджоникидзе Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Папуш, П. Н. Приложения математической логики и теории конечных автоматов в инженерных задачах [Текст] : учеб.пособие / П. Н. Папуш, Б. В. Мартынов ; Моск. автомоб.дор. ин-т. - М. : МАДИ, 1979. - 62 с. : ил. - Библиогр.: с.61 (11 назв.). - Б. ц.
Автоматов теория Доп.точки доступа: Мартынов, Б.В.; Моск. автомоб.дор. ин-т Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Мощанский, В. А. Лекции по математической логике [Текст] : для вузов / В. А. Мощанский. - Минск : БГУ, 1973. - 159 с. - Библиогр.: с.154 (19 назв.) . - Б. ц.
Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Задохина, Нина Владимировна. Математика и информатика. Решение логико-познавательных задач [Текст] : учеб.пособие для вузов / Н. В. Задохина. - М. : ЮНИТИ-ДАНА, 2015. - 127 с. : ил. - Библиогр.: с.126 (8 назв.). - ISBN 978-5-238-02661-9 : 3850 тг.
Информационная технология Кл.слова (ненормированные): кодирование -- множества -- теория вероятностей Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |