Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


Книги- результаты поиска

Вид поиска
Книги
Авторефераты
Аудиовизуальный фонд
Фонд редкой книги
Труды преподавателей
Периодические издания
Выпускные квалификационные работы
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>S=Математическая логика<.>
Общее количество найденных документов : 12
Показаны документы с 1 по 10
 1-10    11-12 
1.
   22.1
   Е 80

    Ершов, Юрий Леонидович.
    Математическая логика [Текст] : учеб. пособие для мат. спец. вузов / Ю. Л. Ершов, Е. А. Палютин. - 2- изд., испр. и доп. - М. : Наука, 1987. - 336 с. - 0.40 р.
ББК 22.122
Рубрики: Математическая логика
Кл.слова (ненормированные):
учебное пособие для вузов -- исчисление высказываний -- теория множеств -- исчисление предикатов -- теория моделей -- теория доказательств


Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 7
Аб.2 (2), Ч.з.1 (5)
Свободны: Аб.2 (2), Ч.з.1 (5)
Найти похожие
2.
   22.12
   Е 80

    Ершов, Ю. Л.
    Математическая логика [Text] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 3-е изд., стер. - СПб. [и др.] : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - ISBN 5-8114-0533-2 : 169.50 р.
ББК 22.122я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
теория множеств -- алгебраические системы -- теория моделей -- теория доказательств -- алгоритмы -- рекурсивные функции -- математическая логика -- учебное пособие


Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 4
Ч.з.1 (4)
Свободны: Ч.з.1 (4)
Найти похожие
3.
   22.12
   Е 80

    Ершов, Ю. Л.
    Математическая логика [Text] : учеб. пособие / Ю.Л. Ершов, Е.А. Палютин. - 4-е изд., стер. - СПб. [и др.] : Лань, 2005. - 336 с. - (Учебники для вузов. Специальная литература). - ISBN 5-8114-0533-2 : 191.90 р.
ББК 22.122я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
теория множеств -- алгебраические системы -- теория доказательств -- алгоритмы -- рекурсивные функции


Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 16
Аб.2 (16)
Свободны: Аб.2 (16)
Найти похожие
4.
22.122
Б 52

    Берчанский, В. П.
    Элементы комбинаторики и математической логики [Текст] : учеб. пособие для студ. пед. ин-тов / В. П. Берчанский. - Благовещенск : БГПИ, 1973. - 144 с. - 0.45 р.
ББК 22.122
Рубрики: Математическая логика
Кл.слова (ненормированные):
комбинаторика

Экземпляры всего: 5
Ч.з.4 (1), Ч.з.1 (4)
Свободны: Ч.з.4 (1), Ч.з.1 (4)
Найти похожие
5.
22.1
Б 59

    Бизам, Д.
    Многоцветная логика. 175 логических задач [Текст] / Д. Бизам, Я. Герцег ; пер. с венг. Ю. А. Данилова. - М. : Мир, 1978. - 433, [7] с. - 1.50 р.
ББК 22.1
Рубрики: Математическая логика
Кл.слова (ненормированные):
логика -- задачи -- решения


Доп.точки доступа:
Герцег, Я.; Данилов, Ю.А. \пер. с венг.\
Экземпляры всего: 1
Ч.з.1 (1)
Свободны: Ч.з.1 (1)
Найти похожие
6.
   22.12
   Д 30

    Деменчук, В. В.
    На пороге алгебры [Текст] / В. В. Деменчук. - Минск : Вышэйш. шк., 1987. - 144 с. - (Мир занимательной науки). - 0.25 р.
ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- алгебра

Экземпляры всего: 1
Ч.з.1 (1)
Свободны: Ч.з.1 (1)
Найти похожие
7.
   22.1
   И 26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие для физ.-мат. спец. пед. ин-тов / В. И. Игошин. - Саратов : Изд-во Сарат. ун-та, 1991. - 255, [1] с. - Библиогр.: с. 250-252. - ISBN 5-292-00259-3 : 3.00 р.
ББК 22.122я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
учебное пособие для вузов -- алгебра высказываний -- булевы функции -- логика предикатов -- аксиоматические теории -- теория алгоритмов

Экземпляры всего: 1
Ч.з.1 (1)
Свободны: Ч.з.1 (1)
Найти похожие
8.
   22.1
   И 26

    Игошин, Владимир Иванович.
    Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие для студ. вузов / В.И. Игошин. - М. : Академия, 2005. - 302, [1] с. - ISBN 5-7695-1364-0 : 204.20 р.
ББК 22.12я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
задачи -- упражнения -- учебное пособие -- математическая логика -- теория алгоритмов

Экземпляры всего: 43
Ч.з.1 (5), Аб.2 (38)
Свободны: Ч.з.1 (5), Аб.2 (38)
Найти похожие
9.
   22.1
   К 90

    Куликов, А. Н.
    Развивающие игры и головоломки [Текст] / А. Н. Куликов. - М. : ЮНИК инк : Лада, 2006. - 253, [1] с. : ил. - (Талантливому педагогу - заботливому родителю). - ISBN 5-94832-195-9 : 35.60 р.
ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
логические задачи -- логические игры -- головоломки -- для школьников

Экземпляры всего: 1
Ч.з.1 (1)
Свободны: Ч.з.1 (1)
Найти похожие
10.
   22.1
   Л 59

    Линдон, Р.
    Заметки по логике [Текст] / Р. Линдон ; пер. с англ. Ю. А. Гастева ; под ред. И. М. Яглома. - М. : Мир, 1968. - 127, [1] с. - (Современная математика. Популярная серия.). - 0.41 р.
ББК 22.122
Рубрики: Математическая логика
Кл.слова (ненормированные):
грамматика -- термы -- семантическое следование -- пропозициональная логика -- алгебра высказываний -- дизъюнктивная форма -- булева алгебра -- пропозициональная логика -- разрешимость теории -- оправданность аксиоматизации -- теорема дедукции -- категоричность -- другая формулировка -- теорема адекватности -- теорема Крэйга -- гёделевы номера


Доп.точки доступа:
Гастева, Ю. А. \пер. с англ.\; Яглома, И.М. \под ред.\
Экземпляры всего: 2
Ч.з.1 (1), Аб.2 (1)
Свободны: Ч.з.1 (1), Аб.2 (1)
Найти похожие
 1-10    11-12 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)