517 К 608 Колмогоров, Андрей Николаевич. Математическая логика : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : УРСС, 2004. - 240 с. - (Классический университетский учебник). - Библиогр.: с. 228. - ISBN 5-354-00389-X : 140.00 р., 156.90 р.
Кл.слова (ненормированные): Математическая логика -- Множеств теория -- Алгоритмов теория -- Доказательств теория Доп.точки доступа: Драгалин, Альберт Григорьевич Экземпляры всего: 3 Х (1), ЧЗЕ (1), АБУ (1) Свободны: Х (1), ЧЗЕ (1), АБУ (1) |
517 К 608 Колмогоров, Андрей Николаевич. Математическая логика : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Московский государственный университет им. М. Л. Ломоносова. - 2-е изд., стер. - Москва : УРСС, 2005. - 240 с. - (Классический университетский учебник). - Библиогр.: с. 228. - ISBN 5-354-01003-9 : 159 р.
Кл.слова (ненормированные): Математическая логика -- Множеств теория -- Алгоритмов теория -- Доказательств теория Доп.точки доступа: Драгалин, Альберт Григорьевич; Московский государственный университет им. М. Л. Ломоносова Экземпляры всего: 2 АБУ (2) Свободны: АБУ (2) |
517 В 317 Верещагин, Н. К. Языки и исчисления [Текст] / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2000. - 288с. - (Лекции по математической логике и теории алгоритмов). - Библиогр.:с.269-272. - ISBN 5-900916-66-9 : 50 р.
Рубрики: Математическая логика Кл.слова (ненормированные): Учебные издания -- Математическая логика Доп.точки доступа: Шень, А. Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 У 774 Успенский, Владимир Андреевич. Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2002. - 128 с. - Библиогр.: с. 122. - На обл. авт. не указаны. - ISBN 5-9221-0278-8 : 100.00 р., 100.00 р.
Кл.слова (ненормированные): Множеств теория -- Алгоритмов теория -- Языки первого порядка -- Доказательств теория -- Учебные издания Доп.точки доступа: Верещагин, Николай Константинович Экземпляры всего: 2 Х (1), ЧЗЕ (1) Свободны: Х (1), ЧЗЕ (1) |
517 Л 656 Лихтарников, Леонид Моисеевич. Математическая логика : Курс лекций. Задачник-практикум и решения: Учеб. пособие / Л. М. Лихтарников, Т. Г. Сукачева. - СПб. : Лань, 1999. - 288 с. - (Учебники для вузов). - Библиогр.: с. 282. - ISBN 5-8114-0082-9 : 60.00 р.
Кл.слова (ненормированные): Математическая логика -- Исчисление высказываний -- Логика предикатов -- Алгоритмы -- Практикумы -- Сборники задач Доп.точки доступа: Сукачева, Тамара Геннадьевна Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 Е 804 Ершов, Юрий Леонидович. Математическая логика : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - 3-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - ISBN 5-8114-0533-2 : 195.80 р., 195.80 р.
Кл.слова (ненормированные): Математическая логика -- Исчисление высказываний -- Исчисление предикатов -- Алгоритмы Доп.точки доступа: Палютин, Евгений Андреевич Экземпляры всего: 19 Х (1), ЧЗЕ (1), АБУ (17) Свободны: Х (1), ЧЗЕ (1), АБУ (17) |
517 М876 Мощенский, Владимир Андреевич. Лекции по математической логике : учебное пособие / В. А. Мощенский. - Минск : Издательство БГУ, 1973. - 160 с. - 00.30 р., 00.30 р.
Кл.слова (ненормированные): Математическая логика -- Алгоритмы Экземпляры всего: 26 АБУ (25), Х (1) Свободны: АБУ (25), Х (1) |
517 К 608 Колмогоров, Андрей Николаевич. Математическая логика : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Московский государственный университет им. М. В. Ломоносова. - 3-е изд., стер. - Москва : КомКнига, 2006. - 240 с. - (Классический университетский учебник). - ISBN 5-484-00520-5 : 129 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МНОЖЕСТВ ТЕОРИЯ -- АЛГОРИТМОВ ТЕОРИЯ -- ДОКАЗАТЕЛЬСТВ ТЕОРИЯ Доп.точки доступа: Драгалин, Альберт Григорьевич; Московский государственный университет им. М. В. Ломоносова Экземпляры всего: 15 АБУ (15) Свободны: АБУ (15) |
517 К 493 Клини, Стивен Коул. Математическая логика / С. К. Клини ; ред. Г. Е. Минц ; пер. Ю. А. Гастев. - Москва : Ком Книга, 2007. - 480 с. - ISBN 5-484-00802-6. - ISBN 978-5-484-00802-5 : 244.00 р., 244.00 р., 244 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- РАЗРЕШИМОСТЬ Доп.точки доступа: Минц, Г. Е. \ред.\; Гастев, Ю. А. \пер.\ Экземпляры всего: 3 Х (1), ЧЗЕ (1), АБУ (1) Свободны: Х (1), ЧЗЕ (1), АБУ (1) |
517 Л 136 Лавров, Игорь Андреевич. Математическая логика : учебное пособие для вузов / И. А. Лавров ; . - Москва : Академия, 2006. - 240 с. - (Университетский учебник. Прикладная математика и информатика.). - Библиогр.: с. 230. - ISBN 5-7695-2735-8 : 151.50 р., 151.50 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- алгебраические системы -- исчисление предикатов -- исчисление высказываний -- ИСЧИСЛЕНИЕ ФУНКЦИЙ -- АКСИОМАТИЧЕСКИЕ ТЕОРИИ Доп.точки доступа: Максимова, Лариса Львовна Экземпляры всего: 2 Х (1), ЧЗЕ (1) Свободны: Х (1), ЧЗЕ (1) |
517 Л 656 Лихтарников, Леонид Моисеевич. Математическая логика : курс лекций: задачник-практикум и решения: учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - 3-е изд., испр. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2008. - 276 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 273 (12 назв.). - ISBN 978-5-8114-0082-9 : 255.80 р., 255.80 р.
Кл.слова (ненормированные): Математическая логика -- Исчисление высказываний -- Логика предикатов -- Алгоритмы Доп.точки доступа: Сукачева, Тамара Геннадьевна Экземпляры всего: 3 Х (1), ЧЗЕ (1), АБУ (1) Свободны: Х (1), ЧЗЕ (1), АБУ (1) |
517 Д 261 Дегтев, А. Н. Введение в основания математики : учебное пособие / А. Н. Дегтев ; Тюменский государственный университет. - Тюмень : [б. и.], 1975. - 92 с. - 00.50 р., 00.50 р.
Кл.слова (ненормированные): математика Доп.точки доступа: Тюменский государственный университет Экземпляры всего: 3 Х (1), АБУ (2) Свободны: Х (1), АБУ (2) |
517 Е 804 Ершов, Юрий Леонидович. Математическая логика : учебное пособие для студентов математических специальностей вузов / Ю. Л. Ершов, Е. А. Палютин. - 2-е изд., испр. и доп. - Москва : Наука , 1987. - 336 с. - Предм. указ.: с. 335-336. - 0.95 р., 1.10 р.
Кл.слова (ненормированные): ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ТЕОРИЯ МНОЖЕСТВ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ТЕОРИЯ МОДЕЛЕЙ -- ТЕОРИЯ ДОКАЗАТЕЛЬСТВ -- АЛГОРИТМЫ -- РЕКУРСИВНЫЕ ФУНКЦИИ Доп.точки доступа: Палютин, Евгений Андреевич Экземпляры всего: 10 Х (1), АБЗ (9) Свободны: Х (1), АБЗ (9) |
517 Е 804 Ершов, Юрий Леонидович. Математическая логика : лекции для студентов-математиков НГУ / Ю. Л. Ершов, Е. А. Палютин, М. А. Тайцлин ; НГУ. - Новосибирск : НГУ, 1973. - 159 с. - 00.50 р.
Кл.слова (ненормированные): математическая логика Доп.точки доступа: Палютин, Евгений Андреевич; Тайцлин, Михаил Абрамович; Новосибирский государственный университет Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 Е 804 Ершов, Юрий Леонидович. Математическая логика : учебное пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - М. : Наука, 1979. - 320 с. - 00.80 р.
Кл.слова (ненормированные): математическая логика Доп.точки доступа: Палютин, Евгений Андреевич Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 К 424 Кипнис, Михаил Маркович. Генценовские системы для исчисления высказываний и аксиоматической арифметики : учеб. пособие / М. М. Кипнис ; Челяб. гос. пед. ин-т. - Челябинск : ЧПИ, 1985. - 31 с. - 0.30 р.
Кл.слова (ненормированные): математическая логика Доп.точки доступа: Челябинский государственный педагогический институт Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 Г 522 Гладкий, Алексей Всеволодович. Язык математической логики : учеб. пособие / А. В. Гладкий ; Калин. гос. ун-т. - Калинин : Калинин. ун-т, 1977. - 84 с. - 0.25 р.
Кл.слова (ненормированные): математическая логика Доп.точки доступа: Калининский государственный университет Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 К 608 Колмогоров, А. Н. Введение в математическую логику : учебное пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Издательство Московского университета, 1982. - 120 с. - 0.25 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА Доп.точки доступа: Драгалин, А. Г. Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 К 265 Карпов, Виктор Георгиевич. Математическая логика и дискретная математика : учеб. пособие для ун-тов по спец. "Прикл. математика" / В. Г. Карпов, В. А. Мощенский. - Минск : Вышэйш. шк., 1977. - 254 с. : ил. - 0.65 р.
Кл.слова (ненормированные): дискретная математика Доп.точки доступа: Мощенский, Владимир Андреевич Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 Л 171 Лазарева, Елена Александровна. Элементы математической логики : пособие по математике для студентов - иностранцев / Е. А. Лазарева ; МГУ. - М. : Изд-во МГУ, 1979. - 61 с. : ил. - 00.05 р.
Кл.слова (ненормированные): математическая логика Доп.точки доступа: Московский государственный университет Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 И 620 Инжарский, В. К. Математическая логика и алгоритмы : учеб. пособие / В. К. Инжарский. - Орел : [б. и.], 1971. - 145 с. : ил. - 0.60 р.
Кл.слова (ненормированные): математическая логика Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 К 950 Кутасов, Александр Дмитриевич. Элементы математической логики : пособие для учащихся 9-10-х кл. / А. Д. Кутасов. - М. : Просвещение, 1977. - 63 с. : ил. - 00.10 р.
Кл.слова (ненормированные): логика математическая Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 М 340 Математическая логика : учебное пособие для мат. спец. пед. ин-тов / Л. А. Латотин ; ред. А. А. Столяр. - Минск : Вышэйш. школа, 1991. - 269 с. - Библиогр.: с. 260. - ISBN 5-339-00342-6 : 2.30 р.
Кл.слова (ненормированные): Математическая логика Доп.точки доступа: Латотин, Л. А.; Столяр, А. А. \ред.\ Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 М 876 Мощенский, Владимир Андреевич. Лекции по математической логике / В. А. Мощенский ; БГУ. - Минск : Изд-во БГУ, 1971. - 76 с. - Библиогр.: с. 75. - 0.14 р.
Кл.слова (ненормированные): математическая логика Доп.точки доступа: Белорусский государственный университет Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 У 773 Успенский, Владимир Андреевич. Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско ; МГУ им. М.В. Ломоносова. - М. : Изд-во МГУ, 1991. - 136 с. - (Математика). - Библиогр.: с. 134. - ISBN 5-211-01845-1 : 0.25 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА Доп.точки доступа: Верещагин, Н. К.; Плиско, В. Е.; Московский государственный университет им. М.В. Ломоносова Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 Д 720 Драбкина, М. Е. Логические упражнения по элементарной математике : учебное пособие / М. Е. Драбкина. - Минск : Высшая школа, 1965. - 158 с. - 0.28 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЛОГИКА МАТЕМАТИЧЕСКАЯ Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 А 601 Алябьева, Валентина Георгиевна. Математическая логика : учебное пособие для студентов, обучающихся по направлениям подготовки бакалавров "Прикладная математика и информатика", "Фундаментальная информатика и информационные технологии" и специальности "Компьютерная безопасность" / В. Г. Алябьева ; Министерство образования и науки Российской Федерации, Пермский государственный национальный исследовательский университет. - Пермь : ПГНИУ, 2017. - 111 с. : ил. - Библиогр.: с. 109-110. - ISBN 978-5-7944-2904-6 : 123.20 р.
Кл.слова (ненормированные): ЛОГИКА ВЫСКАЗЫВАНИЙ -- ЛОГИКА МАТЕМАТИЧЕСКАЯ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ (МАТЕМАТИКА) -- ЛОГИКА ПРЕДИКАТОВ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ (МАТЕМАТИКА) Перейти: Полный текст Доп.точки доступа: Министерство образования и науки Российской Федерации; Пермский государственный национальный исследовательский университет Экземпляры всего: 4 ЧЗЕ (1), АБУ (3) Свободны: ЧЗЕ (1), АБУ (3) |