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) |
517.2 Н731 Новиков, П. С. Элементы математической логики / П. С. Новиков. - Изд. 2-е, испр. - Москва : Наука, 1973. - 400 с. : ил. - (Математическая логика и основания математики). - Б. ц. В библиотеке есть издание 1959 г. ГРНТИ 27.03.19 УДК:510.6 Ключевые слова: математическая логика -- основания математики -- элементы математической логики Экземпляры всего: 2 Mесто хранения: кх (1), аб (1) Свободны: кх (1), аб (1) |
512 П395 Плоткин, Б. И. Универсальная алгебра, алгебраическая логика и базы данных / Б. И. Плоткин. - Москва : Наука, 1991. - 448 с. : ил. - Б. ц. ГРНТИ 27.03.19 УДК:510.6512519.7 Ключевые слова: алгебраическая логика -- универсальная алгебра Экземпляры всего: 1 Mесто хранения: чз (1) Свободны: чз (1) |
51 Л19 Лакатос, И. Доказательства и опровержения : Как доказываются теоремы / И. Лакатос ; пер. с англ. И. Н. Веселовского ; Акад. наук СССР. - Москва : Наука, 1967. - 152 с. - Б. ц. ГРНТИ 27.03.19 УДК:510.6 Ключевые слова: доказательства теорем -- опровержения Доп.точки доступа: Веселовский, И. Н. \пер.\ --- Академия наук СССР Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
517.2 М501 Мендельсон, Эллиот. Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 3-е изд. - Москва : Наука, 1984. - 319 с. : ил. ; 22 см. - Библиогр.: с. 296-309. - Алф. указ.: с. 310-317. - Пер. изд. : Introduction to mathematical logic / By Elliott Mendelson. - Princeton, 1964. - 23000 экз.. - (в пер.) : 1.80 р. В библиотеке есть издание 1976 г. ГРНТИ 27.03.19 УДК:510.6 Ключевые слова: математическая логика Доп.точки доступа: Кабаков, Ф. А. \пер.\ --- Адян, С. И. \ред.\ --- Mendelson, By Elliott Экземпляры всего: 4 Mесто хранения: кх (4) Свободны: кх (4) |
517.2 Ш477 Шенфилд, Дж. Математическая логика / Дж. Шенфилд ; пер. с англ. И. А. Лаврова, И. А. Мальцева ; под ред. Ю. Л. Ершова. - Москва : Наука, 1975. - 528 с. : ил. - Б. ц. ГРНТИ 27.03.19 УДК:510.6 Ключевые слова: математическая логика Доп.точки доступа: Лавров, И. А. \пер.\ --- Мальцев, И. А. \пер.\ --- Ершов, Ю. Л. \ред.\ --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
51 К23 Карри, Хаскелл Брукс. Основания математической логики / Х. Б. Карри ; пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева. - Москва : Мир, 1969. - 569 с. : ил. - Б. ц. ГРНТИ 27.03.19 УДК:510.6 Ключевые слова: математическая логика -- основания математической логики Доп.точки доступа: Донченко, В. В. \пер.\ --- Гастев, Ю. А. \ред.\ --- Экземпляры всего: 1 Mесто хранения: чз (1) Свободны: чз (1) |
517 К307 Кац, М. Математика и логика : Ретроспектива и перспективы / М. Кац, С. Улам ; пер. с англ. Н. И. Плужниковой ; под ред. И. М. Яглома. - Москва : Мир, 1971. - 250 с. - (Современная математика). - Б. ц. ГРНТИ 27.03.19 УДК:510.6 Ключевые слова: математическая логика Доп.точки доступа: Улам, С. --- Плужникова, Н. И. \пер.\ --- Яглом, И. М. \ред.\ --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
517.2 К493 Клини, С. К. Математическая логика / С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. - Москва : Мир, 1973. - 480 с. - Б. ц. ГРНТИ 27.03.19 УДК:510.6 Ключевые слова: математическая логика Доп.точки доступа: Гастев, Ю. А. \пер.\ --- Минц, Г. Е. \ред.\ --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
517.1 Г797 Грэй, Питер. Логика, алгебра и базы данных / П. Грэй ; пер. с англ. Х. И. Килова, Г. Е. Минца ; под ред. Г. В. Орловского, А. О. Слисенко. - Москва : Машиностроение, 1989. - 359 с. ; 22 см. - Библиогр.: с. 348-358 (131 назв.). - Пер. изд. : Logic, algebra and databases / Peter M. D. Gray. - New York. - 15000 экз.. - ISBN 5-217-00178-X (в пер.) : 1.80 р. ГРНТИ 27.03.19 УДК:510.6 Ключевые слова: математическая логика -- алгебра -- базы данных Доп.точки доступа: Килов, Х. И. \пер.\ --- Минц, Г. Е. \пер.\ --- Орловский, Г. В. \ред.\ --- Слисенко, А. О. \ред.\ --- Gray, Peter M. D. Экземпляры всего: 2 Mесто хранения: кх (2) Свободны: кх (2) |
517.2 Ф366 Фейс, Р. Модальная логика / Р. Фейс ; пер. под ред. Г. Е. Минца. - Москва : Наука, 1974. - 520 с. - (Математическая логика и основания математики). - Б. ц. ГРНТИ 27.03.19 УДК:510.64 Ключевые слова: модальная логика Доп.точки доступа: Минц, Г. Е. \пер., ред.\ --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |