Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> С Естествознание
----> С 1 - Математика
------> С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Печать списка
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
3 из 3
Доступно
5 из 5
--> С Естествознание
----> С 1 - Математика
------> С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Рубрика
- Название:
- С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Печать списка
Связанные описания:
Доступно
1 из 1
Книга
Калбертсон, Джеймс Т.
Математика и логика цифровых устройств
Просвещение, 1965 г.
ISBN отсутствует
Калбертсон, Джеймс Т.
Математика и логика цифровых устройств
Просвещение, 1965 г.
ISBN отсутствует
Заказать 
На полку Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Книга
Клини, Стивен Коул
Математическая логика
Mathematical Logic
Эдиториал УРСС, 2005 г.
ISBN 5-354-01011-X
Клини, Стивен Коул
Математическая логика
Mathematical Logic
Эдиториал УРСС, 2005 г.
ISBN 5-354-01011-X
Доступно
2 из 2
Доступно
1 из 1
Книга
Ершов, Юрий Леонидович
Математическая логика: учеб. пособие для студ. вузов
Физматлит, 2011 г.
ISBN 978-5-922113-01-4
Ершов, Юрий Леонидович
Математическая логика: учеб. пособие для студ. вузов
Физматлит, 2011 г.
ISBN 978-5-922113-01-4
Доступно
1 из 1
Книга
Колмогоров, Андрей Николаевич
Математическая логика: Учеб. пособие для студентов мат. спец. вузов
URSS, 2006 г.
ISBN 5-484-00520-5
Колмогоров, Андрей Николаевич
Математическая логика: Учеб. пособие для студентов мат. спец. вузов
URSS, 2006 г.
ISBN 5-484-00520-5
Доступно
2 из 2
Книга
Колмогоров, Андрей Николаевич
Математическая логика: Учеб. пособие для студентов мат. спец. вузов
Эдиториал УРСС, 2004 г.
ISBN 5-354-00389-X
Колмогоров, Андрей Николаевич
Математическая логика: Учеб. пособие для студентов мат. спец. вузов
Эдиториал УРСС, 2004 г.
ISBN 5-354-00389-X
Доступно
1 из 1
Книга
Ершов, Юрий Леонидович
Математическая логика: Учеб.пособие для мат.спец.вузов
Наука, 1979 г.
ISBN отсутствует
Ершов, Юрий Леонидович
Математическая логика: Учеб.пособие для мат.спец.вузов
Наука, 1979 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Ершов, Юрий Леонидович
Математическая логика: Учеб.пособие для мат.спец.вузов
Наука, 1987 г.
ISBN отсутствует
Ершов, Юрий Леонидович
Математическая логика: Учеб.пособие для мат.спец.вузов
Наука, 1987 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Книга
Математическая логика и ее применения: Сборник статей. Пер. с англ.
Мир, 1965 г.
ISBN отсутствует
Математическая логика и ее применения: Сборник статей. Пер. с англ.
Мир, 1965 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Математическая логика и теория алгоритмов: Сб.статей
ISBN отсутствует
Математическая логика и теория алгоритмов: Сб.статей
Серия: Труды института математики
Наука, 1982 г.ISBN отсутствует
Доступно
1 из 1
Книга
Харин, Николай Никитич
Математическая логика и теория множеств. (О соотношении абстрактного и конкретного)
Росвузиздат, 1963 г.
ISBN отсутствует
Харин, Николай Никитич
Математическая логика и теория множеств. (О соотношении абстрактного и конкретного)
Росвузиздат, 1963 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Колмогоров, Андрей Николаевич
Математическая логика: введение в математическую логику: учебное пособие для студ. мат. спец. вузов
URSS, 2013 г.
ISBN 978-5-354-01447-7
Колмогоров, Андрей Николаевич
Математическая логика: введение в математическую логику: учебное пособие для студ. мат. спец. вузов
URSS, 2013 г.
ISBN 978-5-354-01447-7
Доступно
1 из 1
Книга
Колмогоров, Андрей Николаевич
Математическая логика: дополнительные главы: учебное пособие для студ. мат. спец. вузов
URSS, 2013 г.
ISBN 978-5-354-01446-0
Колмогоров, Андрей Николаевич
Математическая логика: дополнительные главы: учебное пособие для студ. мат. спец. вузов
URSS, 2013 г.
ISBN 978-5-354-01446-0
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Книга
Шиханович, Юрий Александрович
Минимум по теории алгоритмов для нематематиков: учеб. пособие
Научный мир, 2009 г.
ISBN 978-5-915220-55-2
Шиханович, Юрий Александрович
Минимум по теории алгоритмов для нематематиков: учеб. пособие
Научный мир, 2009 г.
ISBN 978-5-915220-55-2
Доступно
1 из 1
Доступно
1 из 1
Книга
Нечеткие множества и теория возможностей:Последствия достижения: Сборник статей
Радио и связь, 1986 г.
ISBN отсутствует
Нечеткие множества и теория возможностей:Последствия достижения: Сборник статей
Радио и связь, 1986 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Книга
Клини, Стефен
Основания интуиционистской математики с точки зрения теории рекурсивных функций
Наука, 1978 г.
ISBN отсутствует
Клини, Стефен
Основания интуиционистской математики с точки зрения теории рекурсивных функций
Наука, 1978 г.
ISBN отсутствует
Доступно
3 из 3
Книга
Гильберт, Давид
Основания математики: Логич.исчисления и формализация арифметики
Наука, 1979 г.
ISBN отсутствует
Гильберт, Давид
Основания математики: Логич.исчисления и формализация арифметики
Наука, 1979 г.
ISBN отсутствует
Доступно
5 из 5