Ч-508 Чёрч, Алонзо. Введение в математическую логику [Text] : [Учеб. для вузов] / А. Чёрч ; Пер. с англ. В.С. Чернявского; Под ред. В.А. Успенского. - москва : Изд-во иностранной литературы, 1960. - 484 с. - 6.99 р.
Кл.слова (ненормированные): математическая логика -- пропозициональные исчисления -- функциональные исчисления -- учебники Доп.точки доступа: Успенский, В.А. \ред. - редактор.\ Экземпляры всего: 1 кх (1) Свободны: кх (1) |
И269 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов : Учеб. пособие для вузов по спец. 050201 "Математика" / В.И. Игошин. - 3-е изд., стер. - М. : Академия, 2008. - 446 с. - (Высшее профессиональное образование) (Педагогические специальности). - ISBN 978-5-7695-5200-7 : 372.00 р., 372.00 р. Допущено МО РФ
Кл.слова (ненормированные): математическая логика -- теория алгоритмов -- алгебра высказываний -- булевы функции -- формализованное исчисление -- логика предикатов -- аксиоматические теории -- программирование -- логическое программирование -- искусственный интеллект -- учебные пособия Учебная литература: ЭтФ / ЭВС / 09.04.01 / Аппликативные вычислительные системы / 3 / Осн ЭтФ / ЭВС / 11.05.01 / Математическая логика и теория графов / 3 / Осн СФ / Сопр / 09.03.02 / Теория алгоритмов / 4 / Осн ЭтФ / СИ / 09.03.04 / Логика и теория алгоритмов / 5 / Осн ЭтФ / СИ / 09.03.04 / Функционально-логическое программирование / 7 / Доп Экземпляры всего: 5 чз (2), аб (3) Свободны: чз (2), аб (3) |
И269 Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие для вузов по спец. 050201 "Математика" / В.И. Игошин. - 4-е изд. - М. : Академия, 2008. - 302 с. - (Высшее профессиональное образование) (Педагогические специальности). - ISBN 978-5-7695-5272-4 : 267.00 р. Допущено МО РФ
Кл.слова (ненормированные): математическая логика -- теория алгоритмов -- алгебра высказываний -- булевы функции -- формализованные исчисления высказываний -- логика предикатов -- элементы теории алгоритмов -- учебные пособия Учебная литература: ЭтФ / СИ / 02.03.03 / Математическая логика / 3 / Доп СФ / Сопр / 09.03.02 / Теория алгоритмов / 4 / Доп ЭтФ / СИ / 09.03.04 / Логика и теория алгоритмов / 5 / Доп Экземпляры всего: 2 аб (1), чз (1) Свободны: аб (1), чз (1) |
Л656 Лихтарников, Леонид Моисеевич. Математическая логика : Курс лекций. Задачник-практикум. Решения: учеб. пособие для вузов / Л.М. Лихтарников, Т.Г. Сукачева. - Изд. 3-е, испр. - СПб. : Лань, 2008. - 276 с. - (Учебники для вузов. Cпециальная литература). - ISBN 978-5-8114-0082-9 : 339.22 р.
Кл.слова (ненормированные): математическая логика -- алгебра логики -- исчисление высказываний -- логика предикатов -- математические теории -- алгоритмы -- учебные пособия Доп.точки доступа: Сукачева, Тамара Геннадьевна Учебная литература: ЭтФ / СИ / 02.03.03 / Математическая логика / 3 / Доп ЭтФ / СИ / 09.03.04 / Математическая логика 1 / 1 / Осн ЭтФ / ТК / 09.02.03 9кл / Элементы математической логики / 4 / Осн ЭтФ / ТК / 09.02.03 9кл / Элементы математической логики / 3 / Осн ЭтФ / ТК / 09.02.02 9кл / Элементы математической логики / 4 / Осн ЭтФ / ТК / 09.02.02 9кл / Элементы математической логики / 3 / Осн ЭтФ / ТК / 09.02.03 11кл / Элементы математической логики / 2 / Осн ЭтФ / ТК / 09.02.03 11кл / Элементы математической логики / 1 / Осн ЭтФ / ТК / 09.02.02 11кл / Элементы математической логики / 2 / Осн ЭтФ / ТК / 09.02.02 11кл / Элементы математической логики / 1 / Осн Экземпляры всего: 5 чз (2), зал ППС (1), аб (2) Свободны: чз (2), зал ППС (1), аб (2) |
М545 Множества и алгебраические системы : метод. указания к выполнению типового расчета № 1 по курсу "Дискретная математика" и варианты заданий / ВСГТУ ; сост. Л. В. Бурлова, А. А. Бадлуева. - Улан-Удэ : Издательство ВСГТУ, 2009. - 51 с. - Б. ц.
Кл.слова (ненормированные): множества -- алгебраические системы -- бинарные отношения -- методические указания -- учебные пособия Перейти к внешнему ресурсу: полный текст, Перейти к внешнему ресурсу: полный текст в ЭБС bookonlime Доп.точки доступа: Бурлова, Л.В. \сост.\; ВСГТУ Учебная литература: ФЭУ / ПМ / 38.03.05 / Дискретная математика / 1 / Доп ФЭУ / ПМ / 09.03.03 / Дискретная математика / 2 / Доп ЮФ / ПМ / 01.03.04 / Дискретная математика / 3 / Доп Экземпляры всего: 5 кх (5) Свободны: кх (5) |
О-753 Основы алгебры логики : Метод. указания к выполнению типового расчета № 2 по курсу "Дискретная математика" и варианты заданий / ВСГТУ ; Сост. Л.В. Бурлова, А.А. Бадлуева. - Улан-Удэ : Издательство ВСГТУ, 2010. - 64 с. - Б. ц.
Дискретная математика--Методические указания--Учебные пособия Кл.слова (ненормированные): алгебра логики -- математическая логика -- дискретная математика -- методические указания -- учебные пособия Перейти к внешнему ресурсу: полный текст, Перейти к внешнему ресурсу: полный текст в ЭБС bookonlime Доп.точки доступа: Бурлова, Л.В. \сост.\; Бадлуева, А.А. \сост.\; ВСГТУ Учебная литература: ФЭУ / ПМ / 38.03.05 / Дискретная математика / 1 / Доп ФЭУ / ПМ / 09.03.03 / Дискретная математика / 2 / Доп Экземпляры всего: 5 кх (5) Свободны: кх (5) |
Л656 Лихтарников, Леонид Моисеевич. Математическая логика. Курс лекций. Задачник-практикум и решения : Учеб. пособие [для вузов] / Л.М. Лихтарников, Т.Г. Сукачева. - Изд. 4-е, стер. - СПб. : Лань, 2009. - 276 с. : ил. - (Учебники для вузов. Cпециальная литература). - ISBN 978-5-8114-0082-9 : 353.10 р.
Кл.слова (ненормированные): математическая логика -- алгебра логики -- исчисление высказываний -- логика предметов -- математические теории -- алгоритмы -- практикумы -- курсы лекций -- учебные пособия Доп.точки доступа: Сукачева, Тамара Геннадьевна Учебная литература: ЭтФ / ТК / 09.02.02 11кл / Элементы математической логики / 1 / Осн ЭтФ / ТК / 09.02.03 11кл / Элементы математической логики / 1 / Осн ЭтФ / ТК / 09.02.02 11кл / Элементы математической логики / 2 / Осн ЭтФ / ТК / 09.02.03 11кл / Элементы математической логики / 2 / Осн ЭтФ / СИ / 02.03.03 / Математическая логика / 3 / Осн ЭтФ / ЭВС / 11.05.01 / Математическая логика и теория графов / 3 / Доп ЭтФ / ТК / 09.02.02 9кл / Элементы математической логики / 3 / Осн ЭтФ / ТК / 09.02.03 9кл / Элементы математической логики / 3 / Осн ЭтФ / ТК / 09.02.02 9кл / Элементы математической логики / 4 / Осн ЭтФ / ТК / 09.02.03 9кл / Элементы математической логики / 4 / Осн Экземпляры всего: 2 аб (2) Свободны: аб (1) |
Т35 Теребилов, О. Ф. Логика математического мышления : научное издание / О. Ф. Теребилов ; МВиССО РСФСР. - Ленинград : ЛГУ, 1987. - 189 с. - Б. ц.
Рубрики: Логика--Мышление Кл.слова (ненормированные): логика математического мышления Доп.точки доступа: МВиССО РСФСР Экземпляры всего: 2 чз (1), зал ППС (1) Свободны: чз (1), зал ППС (1) |
Х204 Харин, Н. Н. Математическая логика и теория множеств : (О соотношении абстрактного и конкретного) / Н. Н. Харин ; под ред. Я. Л. Харапинского. - Москва : Росвузиздат, 1963. - 192 с. : ил. - Б. ц.
Кл.слова (ненормированные): математика -- математическая логика -- теория множеств -- соотношение абстрактного и конкретного Доп.точки доступа: Харапинский, Я. Л. \ред.\ Экземпляры всего: 1 кх (1) Свободны: кх (1) |
К715 Косовский, Н. К. Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов : учебное пособие / Н. К. Косовский ; М-во высш. и сред. спец. образования РСФСР. - Ленинград : Издательство Ленинградского университета, 1981. - 192 с. - Б. ц.
Кл.слова (ненормированные): математика -- математическая логика -- теория субрекурсивных алгоритмов -- учебные пособия Доп.точки доступа: Министерство высшего и среднего специального образования РСФСР Экземпляры всего: 5 кх (3), аб (2) Свободны: кх (3), аб (2) |
Н731 Новиков, П. С. Элементы математической логики / П. С. Новиков. - Изд. 2-е, испр. - Москва : Наука, 1973. - 400 с. : ил. - (Математическая логика и основания математики). - Б. ц. В библиотеке есть издание 1959 г.
Кл.слова (ненормированные): математическая логика -- основания математики -- элементы математической логики Экземпляры всего: 2 кх (1), аб (1) Свободны: кх (1), аб (1) |
П395 Плоткин, Б. И. Универсальная алгебра, алгебраическая логика и базы данных / Б. И. Плоткин. - Москва : Наука, 1991. - 448 с. : ил. - Б. ц.
Кл.слова (ненормированные): алгебраическая логика -- универсальная алгебра Экземпляры всего: 1 чз (1) Свободны: чз (1) |
Л19 Лакатос, И. Доказательства и опровержения : Как доказываются теоремы / И. Лакатос ; пер. с англ. И. Н. Веселовского ; Акад. наук СССР. - Москва : Наука, 1967. - 152 с. - Б. ц.
Кл.слова (ненормированные): доказательства теорем -- опровержения Доп.точки доступа: Веселовский, И. Н. \пер.\; Академия наук СССР Экземпляры всего: 1 кх (1) Свободны: кх (1) |
М501 Мендельсон, Эллиот. Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 3-е изд. - Москва : Наука, 1984. - 319 с. : ил. ; 22 см. - Библиогр.: с. 296-309. - Алф. указ.: с. 310-317. - Пер. изд. : Introduction to mathematical logic / By Elliott Mendelson. - Princeton, 1964. - 23000 экз.. - (в пер.) : 1.80 р. В библиотеке есть издание 1976 г.
Кл.слова (ненормированные): математическая логика Доп.точки доступа: Кабаков, Ф. А. \пер.\; Адян, С. И. \ред.\; Mendelson, By Elliott Экземпляры всего: 4 кх (4) Свободны: кх (4) |
Ш477 Шенфилд, Дж. Математическая логика / Дж. Шенфилд ; пер. с англ. И. А. Лаврова, И. А. Мальцева ; под ред. Ю. Л. Ершова. - Москва : Наука, 1975. - 528 с. : ил. - Б. ц.
Кл.слова (ненормированные): математическая логика Доп.точки доступа: Лавров, И. А. \пер.\; Мальцев, И. А. \пер.\; Ершов, Ю. Л. \ред.\ Экземпляры всего: 1 кх (1) Свободны: кх (1) |
К23 Карри, Хаскелл Брукс. Основания математической логики / Х. Б. Карри ; пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева. - Москва : Мир, 1969. - 569 с. : ил. - Б. ц.
Кл.слова (ненормированные): математическая логика -- основания математической логики Доп.точки доступа: Донченко, В. В. \пер.\; Гастев, Ю. А. \ред.\ Экземпляры всего: 1 чз (1) Свободны: чз (1) |
К307 Кац, М. Математика и логика : Ретроспектива и перспективы / М. Кац, С. Улам ; пер. с англ. Н. И. Плужниковой ; под ред. И. М. Яглома. - Москва : Мир, 1971. - 250 с. - (Современная математика). - Б. ц.
Кл.слова (ненормированные): математическая логика Доп.точки доступа: Улам, С.; Плужникова, Н. И. \пер.\; Яглом, И. М. \ред.\ Экземпляры всего: 1 кх (1) Свободны: кх (1) |
К493 Клини, С. К. Математическая логика / С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. - Москва : Мир, 1973. - 480 с. - Б. ц.
Кл.слова (ненормированные): математическая логика Доп.точки доступа: Гастев, Ю. А. \пер.\; Минц, Г. Е. \ред.\ Экземпляры всего: 1 кх (1) Свободны: кх (1) |
М34 Математическая логика и ее применения : сборник статей / под ред. Э. Нагела ; пер. с англ. под ред. А. И. Мальцева. - Москва : Мир, 1965. - 0 : ил. - Б. ц.
Кл.слова (ненормированные): математическая логика -- сборники статей Доп.точки доступа: Нагел, Э. \ред.\; Мальцев, А. И. \пер., ред.\ Экземпляры всего: 1 кх (1) Свободны: кх (1) |
Л694 Логический подход к искусственному интеллекту : От классической логики к логическому программированию / А. Тейз [и др.] ; пер. с фр. П. П. Пермякова ; под ред. Г. П. Гаврилова. - Москва : Мир, 1990. - 429 с. : ил. ; 21 см. - Библиогр.: с. 411-417 (115 назв.). - Предм. указ.: с. 418-423. - Пер. изд. : Approche logique de l'intelligence artificielle / Andrè Thayse, Pascal Gribomont, Georges Louis. - Paris. - 20000 экз.. - ISBN 5-03-001636-8 (в пер.) : 2.90 р.
Кл.слова (ненормированные): математическая логика -- логическое программирование -- искусственный интеллект -- монографии Доп.точки доступа: Тейз, Андре; Грибомон, Паскаль; Луи, Жорж; Снийерс, Доминик; Пермяков, П. П. \пер.\; Гаврилов, Г. П. \ред.\; Thayse, Andrè; Gribomont, Pascal; Louis, Georges Экземпляры всего: 3 чз (2), зал ППС (1) Свободны: чз (2), зал ППС (1) |