51 Ч-508 Чёрч, Алонзо. Введение в математическую логику [Text] : [Учеб. для вузов] / А. Чёрч ; Пер. с англ. В.С. Чернявского; Под ред. В.А. Успенского. - москва : Изд-во иностранной литературы, 1960. - 484 с. - 6.99 р. ГРНТИ 27.03.19 УДК:510.6(075.8) Ключевые слова: математическая логика -- пропозициональные исчисления -- функциональные исчисления -- учебники Доп.точки доступа: Успенский, В.А. \ред. - редактор.\ --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
51 Ф19 Фалевич, Борис Яковлевич. Теория алгоритмов : Учеб. пособие для вузов по напр. "Информатика и выч. техника" / Б.Я. Фалевич. - М. : Машиностроение, 2004. - 160 с. : ил. - (Для вузов). - ISBN 5217032499 : 145.19 р. Допущено МО РФ ГРНТИ 27.03.17 УДК:510.5(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) |
519.6 М158 Макконнелл, Дж. Анализ алгоритмов. Активный обучающий подход : учеб. пособие по напр. подгот. спец. "Информатика и выч. техника" / Дж. Макконнелл ; Пер. с англ. С.А. Кулешова под ред. С.К. Ландо. - 3-е доп. изд. - М. : Техносфера, 2009. - 415 с. : ил. - (Мир программирования ; VIII, 09). - ISBN 978-5-94836-216-8. - ISBN 978-0-7637-0782-8 : 420 р. Рек. Учен. Советом МГАПиИ ГРНТИ 27.03.17 УДК:519.68(075.8)510.5(075.8) Ключевые слова: алгоритмы -- анализ алгоритмов -- рекурсивные алгоритмы -- алгоритмы поиска -- алгоритмы выборки -- алгоритмы сортировки -- численные алгоритмы -- алгоритмы формальных языков -- алгоритмы сравнения с образцом -- алгоритмы на графах -- параллельные алгоритмы -- вычислимое -- невычислимое -- таблица случайных чисел -- генерирование псевдослучайных чисел -- учебные пособия Доп.точки доступа: Ландо, С.К. \ред.\ --- Экземпляры всего: 1 Mесто хранения: чз (1) Свободны: чз (1) |
51 М545 Множества и алгебраические системы : метод. указания к выполнению типового расчета № 1 по курсу "Дискретная математика" и варианты заданий / ВСГТУ ; сост. Л. В. Бурлова, А. А. Бадлуева. - Улан-Удэ : Издательство ВСГТУ, 2009. - 51 с. - Б. ц. ГРНТИ 27.03.19 27.17 УДК:51(075.8) Ключевые слова: множества -- алгебраические системы -- бинарные отношения -- методические указания -- учебные пособия Перейти к внешнему ресурсу полный текст, Перейти к внешнему ресурсу полный текст в ЭБС bookonlime Доп.точки доступа: Бурлова, Л.В. \сост.\ --- ВСГТУ Экземпляры всего: 5 Mесто хранения: кх (5) Свободны: кх (5) |
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) |
Ю4 Т35 Теребилов, О. Ф. Логика математического мышления : научное издание / О. Ф. Теребилов ; МВиССО РСФСР. - Ленинград : ЛГУ, 1987. - 189 с. - Б. ц. ГРНТИ 02.21 27.03.19 ББК Ю4 Ключевые слова: логика математического мышления Доп.точки доступа: МВиССО РСФСР Экземпляры всего: 2 Mесто хранения: чз (1), зал ППС (1) Свободны: чз (1), зал ППС (1) |
517.2 Л136 Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. - 2-е изд. - Москва : Наука, 1984. - 223 с. ; 20 см. - Библиогр.: с. 214-215 (39 назв.). - Предм. указ.: с. 216-223. - 22000 экз.. - 0.90 р. В библиотеке есть издание 1975 г. ГРНТИ 27.03 УДК:510 Ключевые слова: математическая логика -- теория множеств -- теория алгоритмов -- задачи Доп.точки доступа: Максимова, Лариса Львовна --- Экземпляры всего: 7 Mесто хранения: кх (5), аб (2) Свободны: кх (5), аб (2) |
51 П781 Проблемы Гильберта : сборник / под ред. П. С. Александрова. - Москва : Наука, 1969. - 239 с. - Б. ц. ГРНТИ 27.03 УДК:510 Ключевые слова: математическая логика -- теория множеств -- теория алгоритмов -- Гильберт Доп.точки доступа: Александров, П. С. \ред.\ --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
517.2 И889 Исследования по теории множеств и неклассическим логикам : [сборник статей] / Всесоюз. ин-т науч. и техн. информ. ; отв. ред. Д. А. Бочвар, В. Н. Гришин. - Москва : Наука, 1976. - 328 с. ; 20 см. - 3900 экз.. - (в пер.) : 1.00 р. ГРНТИ 27.03 УДК:510 Ключевые слова: неклассические логики -- теория множеств -- теория алгоритмов -- сборники статей Доп.точки доступа: Бочвар, Д. А. \ред.\ --- Гришин, В. Н. \ред.\ --- Всесоюзный институт научной и технической информации Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
517.2 Х204 Харин, Н. Н. Математическая логика и теория множеств : (О соотношении абстрактного и конкретного) / Н. Н. Харин ; под ред. Я. Л. Харапинского. - Москва : Росвузиздат, 1963. - 192 с. : ил. - Б. ц. ГРНТИ 27.03.19 УДК:510 Ключевые слова: математика -- математическая логика -- теория множеств -- соотношение абстрактного и конкретного Доп.точки доступа: Харапинский, Я. Л. \ред.\ --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
517.2 К715 Косовский, Н. К. Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов : учебное пособие / Н. К. Косовский ; М-во высш. и сред. спец. образования РСФСР. - Ленинград : Издательство Ленинградского университета, 1981. - 192 с. - Б. ц. ГРНТИ 27.03.19 УДК:510 Ключевые слова: математика -- математическая логика -- теория субрекурсивных алгоритмов -- учебные пособия Доп.точки доступа: Министерство высшего и среднего специального образования РСФСР Экземпляры всего: 5 Mесто хранения: кх (3), аб (2) Свободны: кх (3), аб (2) |
517.6 А465 Александров, П. С. Введение в теорию множеств и общую топологию : учебное пособие для математических специальностей вузов / П. С. Александров. - Москва : Наука, 1977. - 368 с. : ил. - Б. ц. ГРНТИ 27.03.33 УДК:510.22(075.8) Ключевые слова: теория множеств -- топология -- учебные пособия Экземпляры всего: 2 Mесто хранения: кх (2) Свободны: кх (2) |
517.2 Ч-651 Чирка, Евгений Михайлович. Комплексные аналитические множества / Е. М. Чирка. - Москва : Наука, 1985. - 272 с. : ил. ; 22 см. - Библиогр.: с. 261-268. - Предм. указ.: с. 269-272. - 3400 экз.. - (в пер.) : 3.70 р. ГРНТИ 27.03.33 УДК:510.22 Ключевые слова: теория множеств -- комплексные аналитические множества Экземпляры всего: 3 Mесто хранения: кх (3) Свободны: кх (3) |