51 Ч-508 Чёрч, Алонзо. Введение в математическую логику [Text] : [Учеб. для вузов] / А. Чёрч ; Пер. с англ. В.С. Чернявского; Под ред. В.А. Успенского. - москва : Изд-во иностранной литературы, 1960. - 484 с. - 6.99 р. ГРНТИ 27.03.19 УДК:510.6(075.8) Ключевые слова: математическая логика -- пропозициональные исчисления -- функциональные исчисления -- учебники Доп.точки доступа: Успенский, В.А. \ред. - редактор.\ --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
51 С892 Судоплатов, С. В. Математическая логика и теория алгоритмов : Учеб. для вузов по напр. 654600 Информатика и выч. техника, 654700 Информационные системы, 540200 Физ.-мат. образование / С.В. Судоплатов, Е.В. Овчинникова ; НГТУ. - М., Новосибирск : ИНФРА-М, Изд-во НГТУ, 2004. - 224 с. - (Высшее образование). - ISBN 5778204582. - ISBN 5160019758 : 63.58 р. ГРНТИ 27.03 УДК:510.6(075.8) Ключевые слова: логика -- математическая логика -- исчисления предикатов -- теории моделей -- теории алгоритмов -- неклассические логики -- учебники Доп.точки доступа: Овчинникова, Е.В. --- Экземпляры всего: 40 Mесто хранения: аб (38), чз (2) Свободны: аб (38), чз (2) |
51 И269 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов : Учеб. пособие для вузов по спец. 050201 "Математика" / В.И. Игошин. - 3-е изд., стер. - М. : Академия, 2008. - 446 с. - (Высшее профессиональное образование) (Педагогические специальности). - ISBN 978-5-7695-5200-7 : 372.00 р., 372.00 р. Допущено МО РФ ГРНТИ 27.03.19 27.03.17 УДК:510.6(075.8) Ключевые слова: математическая логика -- теория алгоритмов -- алгебра высказываний -- булевы функции -- формализованное исчисление -- логика предикатов -- аксиоматические теории -- программирование -- логическое программирование -- искусственный интеллект -- учебные пособия Экземпляры всего: 5 Mесто хранения: чз (2), аб (3) Свободны: чз (2), аб (3) |
519.7 А603 Аляев, Юрий Александрович. Дискретная математика и математическая логика : Учеб. для вузов по спец. "Прикладная информатика (по обл.)" и др. экон. спец. / Ю.А. Аляев, С.Ф. Тюрин. - М. : Финансы и статистика, 2006. - 364 с. : ил. - ISBN 5-279-03045-7 : 150.00 р. Доп. УМО ГРНТИ 27.47 27.03 УДК:519.7(075.8)510.6(075.8) Ключевые слова: дискретная математика -- математическая логика -- теория множеств -- булевы алгебры -- общая алгебра -- комбинаторика -- теория графов -- теория переключательных функций -- теория автоматов -- теория кодирования -- математическая логика -- теория алгоритмов -- теория нечетких множеств -- учебники Доп.точки доступа: Тюрин, Сергей Феофентович --- Экземпляры всего: 2 Mесто хранения: чз (2) Свободны: чз (2) |
51 И269 Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие для вузов по спец. 050201 "Математика" / В.И. Игошин. - 4-е изд. - М. : Академия, 2008. - 302 с. - (Высшее профессиональное образование) (Педагогические специальности). - ISBN 978-5-7695-5272-4 : 267.00 р. Допущено МО РФ ГРНТИ 27.03.19 УДК:510.6(075.8) Ключевые слова: математическая логика -- теория алгоритмов -- алгебра высказываний -- булевы функции -- формализованные исчисления высказываний -- логика предикатов -- элементы теории алгоритмов -- учебные пособия Экземпляры всего: 2 Mесто хранения: аб (1), чз (1) Свободны: аб (1), чз (1) |
51 Л656 Лихтарников, Леонид Моисеевич. Математическая логика : Курс лекций. Задачник-практикум. Решения: учеб. пособие для вузов / Л.М. Лихтарников, Т.Г. Сукачева. - Изд. 3-е, испр. - СПб. : Лань, 2008. - 276 с. - (Учебники для вузов. Cпециальная литература). - ISBN 978-5-8114-0082-9 : 339.22 р. ГРНТИ 27.03.19 УДК:510.6(075.8) Ключевые слова: математическая логика -- алгебра логики -- исчисление высказываний -- логика предикатов -- математические теории -- алгоритмы -- учебные пособия Доп.точки доступа: Сукачева, Тамара Геннадьевна --- Экземпляры всего: 5 Mесто хранения: чз (2), зал ППС (1), аб (2) Свободны: чз (2), зал ППС (1), аб (2) |
51 О-753 Основы алгебры логики : Метод. указания к выполнению типового расчета № 2 по курсу "Дискретная математика" и варианты заданий / ВСГТУ ; Сост. Л.В. Бурлова, А.А. Бадлуева. - Улан-Удэ : Издательство ВСГТУ, 2010. - 64 с. - Б. ц. ГРНТИ 27.03.19 27.23 УДК:510.6(075.8)519.7(075.8) Рубрики: Математическая логика--Методические указания--Учебные пособия --- Дискретная математика--Методические указания--Учебные пособия --- Перейти к внешнему ресурсу полный текст, Перейти к внешнему ресурсу полный текст в ЭБС bookonlime Доп.точки доступа: Бурлова, Л.В. \сост.\ --- Бадлуева, А.А. \сост.\ --- ВСГТУ Экземпляры всего: 5 Mесто хранения: кх (5) Свободны: кх (5) |
51 Р935 Рыбин, Владимир Васильевич. Основы теории нечетких множеств и нечеткой логики : Учеб. пособие [для вузов по спец. "Прикладная математика"] / В.В. Рыбин ; Московский авиац. ин-т (гос. техн. ун-т). - М. : Изд-во МАИ, 2007. - 95 с. : ил. - ISBN 978-5-7035-1862-5 : 107.14 р. ГРНТИ 27 27.03 УДК:510.22(075.8)510.6(075.8) Рубрики: Математика--Теория нечетких множеств--Учебные пособия --- Математическая логика--Теория нечеткой логики--Учебные пособия --- Доп.точки доступа: Московский авиац. ин-т (гос. техн. ун-т) Экземпляры всего: 1 Mесто хранения: чз (1) Свободны: чз (1) |
51 Л656 Лихтарников, Леонид Моисеевич. Математическая логика. Курс лекций. Задачник-практикум и решения : Учеб. пособие [для вузов] / Л.М. Лихтарников, Т.Г. Сукачева. - Изд. 4-е, стер. - СПб. : Лань, 2009. - 276 с. : ил. - (Учебники для вузов. Cпециальная литература). - ISBN 978-5-8114-0082-9 : 353.10 р. ГРНТИ 27.03.19 УДК:510.6(075.8) Ключевые слова: математическая логика -- алгебра логики -- исчисление высказываний -- логика предметов -- математические теории -- алгоритмы -- практикумы -- курсы лекций -- учебные пособия Доп.точки доступа: Сукачева, Тамара Геннадьевна --- Экземпляры всего: 2 Mесто хранения: аб (2) Свободны: аб (1) |
519.1 Т985 Тюрин, Сергей Феофентович. Дискретная математика: Практическая дискретная математика и математическая логика : Учеб. пособие для вузов по напр. подготовки дипломир. спец. 210440 - Телекоммуникации / С.Ф. Тюрин, Ю.А. Аляев. - М. : Финансы и статистика, ИНФРА-М, 2010. - 382 с. : ил. - ISBN 978-5-279-03463-5. - ISBN 978-5-16-004381-4 : 329.89 р. Рек. УМО ГРНТИ 27 УДК:519.1(075.8)510.6(075.8) Ключевые слова: дискретная математика -- математическая логика -- теория алгоритмов -- компьютерная математика -- лабораторные работы -- учебные пособия Доп.точки доступа: Аляев, Юрий Александрович --- Экземпляры всего: 5 Mесто хранения: аб (2), чз (2), кх (1) Свободны: аб (1), чз (2), кх (1) |
51 Б173 Базарон, Сэсэг Арсалановна. Алгебра высказываний : практикум по дисциплине "Математическая логика" / С. А. Базарон, Н. В. Андреева, С. Д. Данилова ; Вост.-Сиб. гос. ун-т технологий и упр. - Улан-Удэ : Издательство ВСГУТУ, 2013. - 35 с. : табл. ; 20 см. - 100 экз.. - 19 р. ГРНТИ 27.03.19 УДК:510.6(075.8) Ключевые слова: алгебра высказываний -- практикумы -- учебные пособия Перейти к внешнему ресурсу Полный текст, Перейти к внешнему ресурсу полный текст в ЭБС bookonlime Доп.точки доступа: Андреева, Надежда Валерьевна --- Данилова, Соелма Доржигушаевна --- Восточно-Сибирский государственный университет технологий и управления (Улан-Удэ) Экземпляры всего: 50 Mесто хранения: аб (45), чз (5) Свободны: аб (45), чз (5) |
519.1 Н192 Назарова, Людмила Игнатьевна. Дискретная математика. Математическая логика и теория графов : [учебное пособие для студентов специальности "Прикладная математика"] / Л. И. Назарова ; Вост.-Сиб. гос. ун-т технологий и упр. - Улан-Удэ : Издательство ВСГУТУ, 2014. - 112 с. : рис. ; 20 см. - 100 экз.. - ISBN 978-5-89230-517-4 : 59.00 р. ГРНТИ 27.43 УДК:519.17(075.8)510.6(075.8) Ключевые слова: математическая логика -- дискретная математика -- теория графов -- учебные пособия Перейти к внешнему ресурсу Полный текст, Перейти к внешнему ресурсу полный текст в ЭБС bookonlime Доп.точки доступа: Восточно-Сибирский государственный университет технологий и управления (Улан-Удэ) Экземпляры всего: 27 Mесто хранения: чз (3), аб (13), кх (11) Свободны: чз (3), аб (12), кх (11) |
51 Б82 Бордоева, Анна Евдокимовна. Элементы алгебры, логики, логические операции и схемы : учебно-методическое пособие [для студентов всех специальностей] / А. Е. Бордоева, С. Д. Отбоева ; Вост.-Сиб. гос. ун-т технологий и упр. - Улан-Удэ : Издательство ВСГУТУ, 2016. - 49 с. : табл., рис. ; 21 см. - 100 экз.. - ISBN 978-5-89230-805-2 : 30 р. ГРНТИ 27.17 УДК:510.6(075.8) Ключевые слова: алгебра логики -- логические операции -- логические схемы -- логические переменные -- логические выражения -- логические основы ЭВМ -- учебно-методические пособия Перейти к внешнему ресурсу полный текст в ЭБС bookonlime, Перейти к внешнему ресурсу полный текст Доп.точки доступа: Отбоева, Сэсэгма Доржиевна --- Восточно-Сибирский государственный университет технологий и управления (Улан-Удэ) Экземпляры всего: 30 Mесто хранения: аб (17), кх (10), чз (3) Свободны: аб (17), кх (10), чз (3) |
51 К608 Колмогоров, Андрей Николаевич. Математическая логика : Учебное пособие для математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Моск. гос. ун-т им. М. В. Ломоносова. - Москва : Издательство УРСС, 2004. - 238 с. : ил. - (Классический университетский учебник). - ISBN 5-354-00389-X : 196.29 р. ГРНТИ 27.03.19 УДК:510.6(075.8) Ключевые слова: математическая логика -- теория множеств -- логико-математические языки -- логические законы -- формальные аксиоматические теории -- теория алгорифмов -- теория доказательств -- учебные пособия Доп.точки доступа: Драгалин, Альберт Григорьевич --- Московский государственный университет им. М. В. Ломоносова Экземпляры всего: 1 Mесто хранения: чз (1) Свободны: чз (1) |