Электронный каталог СКУНБ им. Лермонтова

rus

Государственное бюджетное учреждение культуры Ставропольского края
«Ставропольская краевая универсальная научная библиотека им. М. Ю. Лермонтова»
Режим работы: 9.00–20.00
Контактная информация: (865-2) 29-61-57, 8(8652)24-32-47
Предварительный заказ литературы

Поиск :

Личный кабинет :

Электронный каталог: Книги в рубрике:

Рубрики
--> Математическая логика
----> Математическая логика

Рубрика

Название:: Математическая логика

Название:: Задачи

Название:: Решение

Название:: Учебники

Название:: Пособия для заочников

Название:: Сборники

Название:: Философские проблемы

Название:: Учебники и пособия

Название:: История

Печать списка

Связанные описания:

Отобрать для печати: страницу | инверсия | сброс | печать(0)

1 | 2 | вперед >>

Доступно
1 из 1

Книга
Левин, В. И.
Динамика логических устройств и систем
Энергия, 1980 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Тюрин, С. Ф.
Дискретная математика: практическая дискретная математика и математическая логика: учеб. пособие
Финансы и статистика, Инфра-М, 2010 г.
ISBN 978-5-279-03463-5

Заказать

На полку

Доступно
2 из 2

Книга
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов: учеб. пособие для вузов
Академия, 2005 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Лавров, Игорь Андреевич
Задачи по теории множеств математической логике и теории алгоритмов
Наука, 1975 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1984 г.
ISBN отсутствует

Заказать

На полку

Доступно
3 из 3

Книга
Игошин, В. И.
Задачник-практикум по математической логике: учеб. пособие
Просвещение, 1986 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга

Исследование логических систем: сб. ст. : посвящ. С. А. Яновской

Серия: АН СССР. Институт философии

Наука, 1970 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга

Комбинаторика и логика

Серия: Прил. к журналу "Квант"

Бюро Квантум, 2003 г.
ISBN 5-85843-041-4

Заказать

На полку

Доступно
1 из 1

Книга
Стяжкин, Н. И.
Краткий очерк истории общей и математической логики в России
Высш. школа, 1962 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Целищев, В. В.
Логическая истина и эмпиризм
Наука, Сиб. отд-ние, 1974 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга

МАТЕМАТИЧЕСКАЯ ЛОГИКА: [УЧEБ. ПOCOБИE ДЛЯ MAT. CПEЦ. ПEД. ИH-TOB]
Вышэйш. шк., 1991 г.
ISBN 5-339-00342-6

Заказать

На полку

Доступно
2 из 2

Книга
Никольская, И. Л.
Математическая логика: [учеб. для техникумов по спец. "Прикл. математика"]
Высшая школа, 1981 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Тимофеева, И. Л.
Математическая логика: курс лекций для вузов
КДУ, 2007 г.
ISBN отсутствует

Заказать

На полку

Доступно
2 из 2

Книга
Ершов, Ю. Л.
Математическая логика: учеб. пособие для вузов
Наука, 1987 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Эдельман, С. Л.
Математическая логика: учеб. пособие для пед. ин-тов
Высшая школа, 1975 г.
ISBN отсутствует

Заказать

На полку

Доступно
3 из 3

Книга
Халатян, К. А.
Математическая логика: учеб.-метод. пособие
АГРУС, 2020 г.
ISBN 978-5-9596-1683-0

Заказать

На полку

Доступно
1 из 1

Книга
Игошин, В. И.
Математическая логика и теория алгоритмов: учеб. пособие для физ.-мат. спец. пед. ин-тов
Изд-во Сарат. ун-та, 1991 г.
ISBN 5-292-00259-3

Заказать

На полку

Доступно
3 из 3

Книга

Математическая логика и теория алгоритмов: учебно-метод. пособие
РИА-КМВ, 2019 г.
ISBN 978-5-89314-971-5

Заказать

На полку

Доступно
1 из 1

Книга
Гринченков, Дмитрий Валерьевич
Математическая логика и теория алгоритмов для программистов: учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техник...

Серия: Бакалавриат

Кнорус, 2014 г.
ISBN 978-5-406-04041-6

Заказать

На полку

Доступно
1 из 1

Книга
Драгалин, А. Г.
Математический интуиционизм: введение в теорию доказательств

Серия: Математическая логика и основания математики

Наука, 1979 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Заказать

На полку

Доступно
1 из 1

Книга
Марков, А. А.
О логике конструктивной математики

Серия: Новое в жизни, науке, технике. Серия "Математика, кибернетика"

Знание, 1972 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Лихтарников, Л. М.
ПЕРВОЕ ЗНАКОМСТВО С МАТЕМАТИЧЕСКОЙ ЛОГИКОЙ
Лань, 1997 г.
ISBN 5-86617-043-4

Заказать

На полку

Доступно
2 из 2

Книга
Непейвода, Н. Н.
Прикладная логика: учеб. пособие, [по специальностям "Математика", "Прикладная математика", "Лингвистика", "Философия" и "Психология"]
Изд-во Новосиб. ун-та, 2000 г.
ISBN 5-7615-0490-1

Заказать

На полку

Доступно
1 из 1

Книга

Применение логики в науке и технике: сборник статей
Изд-во Aкадемии наук CCCP, 1960 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Коваленко, С. И.
Решение задач математической логики с использованием элементарной алгебры
Физматлит, 2004 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга

Сборник задач по математической логике и алгебре множеств
Изд. Сарат. ун-та, 1969 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Стяжкин, Н. И.
Становление идей математической логики
Наука, 1964 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга

Т. 51: Сборник статей по математической логике и ее приложениям к некоторым вопросам кибернетики
1958 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга

Теория моделей и ее применение

Серия: Труды / АН СССР, Сибирское отделение. Институт математики

Наука, Сиб. отд-ние, 1988 г.
ISBN отсутствует

Заказать

На полку