Математическая логика [Текст] : учеб.пособие для мат.спец.ин-тов / А.А.Латотин, Ю.А.Макаренков. В.В.Николаева, А.А.Столяр ; Под ред. А.А.Столяра. - Минск : Высш.шк., 1991. - 268 с. : ил. - Библиогр.:с.260. - ISBN 5-339-00342-6 : Б. ц.
Держатели документа: Республиканская научно-техническая билиотека Доп.точки доступа: Латотин, Л.А.; Столяр, А.А. \ред.\ Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
Вольвачев, Раймонд Трофимович. Элементы математической логики и теории множеств [Текст] / Р.Т. Вольвачев. - Минск : Университетское, 1986. - 111 с. - Библиогр.: с.110 (9 назв.) . - Б. ц.
Множеств теория Держатели документа: Республиканская научно-техническая билиотека Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Ершов, Ю. Л. Математическая логика [Текст] : учеб.пособие для мат.спец.вузов / Ю.Л. Ершов, Е.А. Палютин. - 2-е изд., испр. и доп. - М. : Наука, 1987. - 336 с. - Предм. указ.: с. 335-336. - Б. ц.
Держатели документа: Республиканская научно-техническая библиотека Казахстана Доп.точки доступа: Палютин, Е.А. Экземпляры всего: 4 ХР (4) Свободны: ХР (4) |
Ершов, Ю. Л. Математическая логика [Текст] : учеб.пособие для мат.спец.вузов / Ю.Л. Ершов, Е.А.Палютин. - 2-е изд.,испр.и доп. - М. : Наука, 1987. - 336 с. - 0-95 р.
Держатели документа: Карагандинский филиал РНТБ Казахстана Доп.точки доступа: Палютин, Е.А. Экземпляры всего: 2 08-ХР (2) Свободны: 08-ХР (2) |
Математическая логика [Текст] : учеб.пособие для мат.спец.пед.ин-тов / Л.А.Латотин и др. ; Под общ.ред.А.А.Столяра. - Минск : Вышэйш.шк., 1991. - 269 с. : ил. - Библиогр.: с. 260(6 назв.). - ISBN 5-339-00342-6 : 2.30 р.
Держатели документа: Карагандинский филиал РНТБ Казахстана Доп.точки доступа: Латонин, Л.А.; Столяр, А.А. \ред.\ Экземпляры всего: 4 08-ХР (4) Свободны: 08-ХР (4) |
Колмогоров, А. Н. Введение в математическую логику [Текст] : учеб. пособие для мат. спец. вузов / А.Н. Колмогоров, А.Г. Драгалин. - М. : Изд-во МГУ, 1982. - 120 с. - Библиогр.: с.120(9 назв.). - 0.25 р.
Держатели документа: Карагандинский филиал РНТБ Казахстана Доп.точки доступа: Драгалин, А.Г. Экземпляры всего: 1 08-ХР (1) Свободны: 08-ХР (1) |
Е80 Ершов, Ю. Л. Метематическая логика [] : учеб. пособие для мат. спец. вузов / Ю.Л. Ершов, Е.А.Палютин. - 2-е изд., испр. и доп. - М. : Наука, 1987. - 336 с. - Б. ц.
Доп.точки доступа: Палютин, Е.А. Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
Игошин, В. И. Математическая логика и теория алгоритмов [] : учеб. пособие для студ. вузов, обуч. по спец. 032100 "Математика" / В.И. Игошин. - М. : Академия, 2004. - 448 с. - (Высшее профессиональное образование). - ISBN 5-7695-1363-2 : 2310 тенге
Экземпляры всего: 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) |
Е 80 Ершов, Ю. Л. Математическая логика [Текст] : учеб.пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - 5-е изд., стер. - СПб. ; М. ; Краснодар : Лань, 2005. - 336 с. - ISBN 5-8114-0533-2 : 400 тг.
Держатели документа: Республиканская научно-техническая библиотека Казахстана Доп.точки доступа: Палютин, Е.А. Экземпляры всего: 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) |
И 26 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Текст] : учеб.пособие для вузов / В. И. Игошин. - 4-е изд.,стер. - М. : Академия, 2010. - 446 с. - (Высш.проф.образование). - Библиогр.: с. 435-442. - ISBN 978-5-7695-7045-2 : 3650 тг.
Теория алгоритмов Держатели документа: Республиканская научно-техническая библиотека Казахстана Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
К 60 Колмогоров, А. Н. Математическая логика: Дополнительные главы [Текст] : учеб.пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во МГУ, 1984. - 119 с. - Библиогр.: с.117 (19 назв.) . - Б. ц.
Доп.точки доступа: Драгалин, А.Г. Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Г 85 Гринченков, Дмитрий Валерьевич. Математическая логика и теория алгоритмов для программистов [Текст] : учеб.пособие для вузов / Д. В. Гринченков, С. И. Потоцкий. - М. : КноРус, 2010. - 206 с. : ил. - Библиогр.: с.205-206 (24 назв.). - ISBN 978-5-406-00120-2 : 1390 тг.
Теория алгоритмов Держатели документа: Республиканская научно-техническая библиотека Казахстана Доп.точки доступа: Потоцкий, Сергей Иванович Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Е 80 Ершов, Ю. Л. Математическая логика [Текст] : учеб.пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - М. : Наука, 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) |