Электронный каталог
Научной библиотеки ВСГУТУ

1.    51
   Ч-508
    Чёрч, Алонзо.
    Введение в математическую логику [Text] : [Учеб. для вузов] / А. Чёрч ; Пер. с англ. В.С. Чернявского; Под ред. В.А. Успенского. - москва : Изд-во иностранной литературы, 1960. - 484 с. - 6.99 р.
ГРНТИ 27.03.19
УДК:510.6(075.8)
Ключевые слова: математическая логика -- пропозициональные исчисления -- функциональные исчисления -- учебники
Доп.точки доступа: Успенский, В.А. \ред. - редактор.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)

Найти похожие

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)

Найти похожие

3.    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)

Найти похожие

4.    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)

Найти похожие

5.    51
   М545
   
    Множества и алгебраические системы : метод. указания к выполнению типового расчета № 1 по курсу "Дискретная математика" и варианты заданий / ВСГТУ ; сост. Л. В. Бурлова, А. А. Бадлуева. - Улан-Удэ : Издательство ВСГТУ, 2009. - 51 с. - Б. ц.
ГРНТИ 27.03.19
27.17
УДК:51(075.8)
Ключевые слова: множества -- алгебраические системы -- бинарные отношения -- методические указания -- учебные пособия
Перейти к внешнему ресурсу полный текст,
Перейти к внешнему ресурсу полный текст в ЭБС bookonlime

Доп.точки доступа: Бурлова, Л.В. \сост.\ --- ВСГТУ

Экземпляры всего: 5
Mесто хранения: кх (5)
Свободны: кх (5)

Найти похожие

6.    51
   О-753
   
    Основы алгебры логики : Метод. указания к выполнению типового расчета № 2 по курсу "Дискретная математика" и варианты заданий / ВСГТУ ; Сост. Л.В. Бурлова, А.А. Бадлуева. - Улан-Удэ : Издательство ВСГТУ, 2010. - 64 с. - Б. ц.
ГРНТИ 27.03.19
27.23
УДК:510.6(075.8)519.7(075.8)
Ключевые слова: алгебра логики -- математическая логика -- дискретная математика -- методические указания -- учебные пособия
Перейти к внешнему ресурсу полный текст,
Перейти к внешнему ресурсу полный текст в ЭБС bookonlime

Доп.точки доступа: Бурлова, Л.В. \сост.\ --- Бадлуева, А.А. \сост.\ --- ВСГТУ

Экземпляры всего: 5
Mесто хранения: кх (5)
Свободны: кх (5)

Найти похожие

7.    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)

Найти похожие

8.    Ю4
   Т35
    Теребилов, О. Ф.
    Логика математического мышления : научное издание / О. Ф. Теребилов ; МВиССО РСФСР. - Ленинград : ЛГУ, 1987. - 189 с. - Б. ц.
ГРНТИ 02.21
27.03.19

ББК Ю4
Ключевые слова: логика математического мышления
Доп.точки доступа: МВиССО РСФСР

Экземпляры всего: 2
Mесто хранения: чз (1), зал ППС (1)
Свободны: чз (1), зал ППС (1)

Найти похожие

9.    517.2
   Х204
    Харин, Н. Н.
    Математическая логика и теория множеств : (О соотношении абстрактного и конкретного) / Н. Н. Харин ; под ред. Я. Л. Харапинского. - Москва : Росвузиздат, 1963. - 192 с. : ил. - Б. ц.
ГРНТИ 27.03.19
УДК:510
Ключевые слова: математика -- математическая логика -- теория множеств -- соотношение абстрактного и конкретного
Доп.точки доступа: Харапинский, Я. Л. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)

Найти похожие

10.    517.2
   К715
    Косовский, Н. К.
    Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов : учебное пособие / Н. К. Косовский ; М-во высш. и сред. спец. образования РСФСР. - Ленинград : Издательство Ленинградского университета, 1981. - 192 с. - Б. ц.
ГРНТИ 27.03.19
УДК:510
Ключевые слова: математика -- математическая логика -- теория субрекурсивных алгоритмов -- учебные пособия
Доп.точки доступа: Министерство высшего и среднего специального образования РСФСР

Экземпляры всего: 5
Mесто хранения: кх (3), аб (2)
Свободны: кх (3), аб (2)

Найти похожие