Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> С Естествознание
----> С 1 - Математика
------> С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Печать списка
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
3 из 3
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
3 из 5
Доступно
1 из 1
--> С Естествознание
----> С 1 - Математика
------> С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Рубрика
- Название:
- С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Печать списка
Связанные описания:
Доступно
2 из 2
Заказать 
На полку Доступно
1 из 1
Книга
Шурыгин, Виктор Афанасьевич
Алгоритмическая теория обратимости операторов
URSS, 2010 г.
ISBN 978-5-397-01319-2
Шурыгин, Виктор Афанасьевич
Алгоритмическая теория обратимости операторов
URSS, 2010 г.
ISBN 978-5-397-01319-2
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
3 из 3
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Книга
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
Наука. Ленингр. отд-ние, 1965 г.
ISBN отсутствует
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
Наука. Ленингр. отд-ние, 1965 г.
ISBN отсутствует
Доступно
1 из 2
Многотомник
Черч, А.
Введение в математическую логику: В 1 т.
Изд-во иностр. лит., б.г.
ISBN отсутствует
Черч, А.
Введение в математическую логику: В 1 т.
Изд-во иностр. лит., б.г.
ISBN отсутствует
Доступно
2 из 2
Доступно
1 из 1
Книга
Колмогоров, Андрей Николаевич
Введение в математическую логику: учебное пособие для мат. спец. вузов
Изд-во Московского ун-та, 1982 г.
ISBN отсутствует
Колмогоров, Андрей Николаевич
Введение в математическую логику: учебное пособие для мат. спец. вузов
Изд-во Московского ун-та, 1982 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Книга
Горбатов, В.А.
Введение в общую теорию алгебраических моделей. Ч.1: учебное пособие
1974 г.
ISBN отсутствует
Горбатов, В.А.
Введение в общую теорию алгебраических моделей. Ч.1: учебное пособие
1974 г.
ISBN отсутствует
Экз. чит. зала
Доступно
1 из 1
Книга
Успенский, Владимир Андреевич
Вводный курс математической логики
Физматлит, 2007 г.
ISBN 5-922102-78-8
Успенский, Владимир Андреевич
Вводный курс математической логики
Физматлит, 2007 г.
ISBN 5-922102-78-8
Доступно
1 из 1
Книга
Успенский, Владимир Андреевич
Вводный курс математической логики
Физматлит, 2004 г.
ISBN 5-922102-78-8
Успенский, Владимир Андреевич
Вводный курс математической логики
Физматлит, 2004 г.
ISBN 5-922102-78-8
Доступно
1 из 1
Книга
Кларк, Эдмунд М., мл.
Верификация моделей программ: Model Checking
МЦНМО, 2002 г.
ISBN 5-940570-54-2
Кларк, Эдмунд М., мл.
Верификация моделей программ: Model Checking
МЦНМО, 2002 г.
ISBN 5-940570-54-2
Доступно
1 из 1
Книга
Подниекс, К.М.
Вокруг теоремы Гёделя: Учеб. пособие для студентов спец. 0647 "прикладная матем."
Латв. гос. ун-т им.П.Стучки, 1981 г.
ISBN отсутствует
Подниекс, К.М.
Вокруг теоремы Гёделя: Учеб. пособие для студентов спец. 0647 "прикладная матем."
Латв. гос. ун-т им.П.Стучки, 1981 г.
ISBN отсутствует
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Книга
Шимбирев, Павел Николаевич
Гибридные непрерывно-логические устройства
Энергоатомиздат, 1990 г.
ISBN отсутствует
Шимбирев, Павел Николаевич
Гибридные непрерывно-логические устройства
Энергоатомиздат, 1990 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Акимов, Олег Евгеньевич
Дискретная математика: Логика, группы, графы
ISBN 5-932080-25-6
Акимов, Олег Евгеньевич
Дискретная математика: Логика, группы, графы
Серия: Технический университет
Лаборатория базовых знаний, 2001 г.ISBN 5-932080-25-6
Доступно
1 из 1
Книга
Иванов, Борис Николаевич
Дискретная математика. Алгоритмы и программы: Полный курс
Физматлит, 2007 г.
ISBN 5-922107-87-9
Иванов, Борис Николаевич
Дискретная математика. Алгоритмы и программы: Полный курс
Физматлит, 2007 г.
ISBN 5-922107-87-9
Доступно
3 из 5
Книга
Багинян, Сергей Агабекович
Дискретная математика: математическая логика, элементы теории кодирования и теории графов: учебное пособие
Discrete Mathematics: Mathematical Logics, Elements of Coding Theory and Graph Theory
ОИЯИ, 2009 г.
ISBN отсутствует
Багинян, Сергей Агабекович
Дискретная математика: математическая логика, элементы теории кодирования и теории графов: учебное пособие
Discrete Mathematics: Mathematical Logics, Elements of Coding Theory and Graph Theory
ОИЯИ, 2009 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Лакатос, Имре
Доказательства и опровержения: как доказываются теоремы
URSS, 2010 г.
ISBN 978-5-382-01024-3
Лакатос, Имре
Доказательства и опровержения: как доказываются теоремы
URSS, 2010 г.
ISBN 978-5-382-01024-3