Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> С Естествознание
----> С 1 - Математика
------> С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Печать списка
Доступно
1 из 1
Доступно
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
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
5 из 5
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
--> С Естествознание
----> С 1 - Математика
------> С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Рубрика
- Название:
- С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Печать списка
Связанные описания:
Доступно
1 из 1
Книга
Лакатос, Имре
Доказательства и опровержения: как доказываются теоремы
Наука, 1967 г.
ISBN отсутствует
Лакатос, Имре
Доказательства и опровержения: как доказываются теоремы
Наука, 1967 г.
ISBN отсутствует
Заказать 
На полку Доступно
1 из 1
Книга
Бирюков, Борис Владимирович
Жар холодных числ и пафос бесстрастной логики: Формализация мышления от античных времен до эпохи ...
Эдиториал УРСС, 2004 г.
ISBN 5-354-00310-5
Бирюков, Борис Владимирович
Жар холодных числ и пафос бесстрастной логики: Формализация мышления от античных времен до эпохи ...
Эдиториал УРСС, 2004 г.
ISBN 5-354-00310-5
Доступно
1 из 1
Книга
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1984 г.
ISBN отсутствует
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1984 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 1995 г.
ISBN отсутствует
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 1995 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1975 г.
ISBN отсутствует
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1975 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Избранные вопросы алгебры и логики: Сборник, посвященный памяти А.И.Мальцева
Наука. Сиб. отд-ние, 1973 г.
ISBN отсутствует
Избранные вопросы алгебры и логики: Сборник, посвященный памяти А.И.Мальцева
Наука. Сиб. отд-ние, 1973 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Марченков, Сергей Серафимович
Избранные главы дискретной математики: учебное пособие
Физматлит, 2023 г.
ISBN 978-5-9221-1969-6
Марченков, Сергей Серафимович
Избранные главы дискретной математики: учебное пособие
Физматлит, 2023 г.
ISBN 978-5-9221-1969-6
Доступно
1 из 1
Многотомник
Исследования по теории алгорифмов и математической логике: Сборник работ
[Б.и.], 1973 г.
ISBN отсутствует
Исследования по теории алгорифмов и математической логике: Сборник работ
[Б.и.], 1973 г.
ISBN отсутствует
Доступно
2 из 2
Доступно
1 из 1
Книга
Кантор. Бесконечность в математике. Бесчисленное поддается подсчету: пер. с итал.
ISBN отсутствует
Кантор. Бесконечность в математике. Бесчисленное поддается подсчету: пер. с итал.
Серия: Наука. Величайшие теории
Де Агостини, 2015 г.ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Книга
Марченков, Сергей Серафимович
Классы элементарных рекурсивных функций
Физматлит, 2017 г.
ISBN 978-5-9221-1714-2
Марченков, Сергей Серафимович
Классы элементарных рекурсивных функций
Физматлит, 2017 г.
ISBN 978-5-9221-1714-2
Доступно
1 из 1
Книга
Пухначев, Юрий Васильевич
Кн.2: Функциональные ряды. Линейные и метрические пространства. Аффинные преобразования и группы преобр...
URSS, 2022 г.
ISBN 978-5-9710-8579-9
Пухначев, Юрий Васильевич
Кн.2: Функциональные ряды. Линейные и метрические пространства. Аффинные преобразования и группы преобр...
URSS, 2022 г.
ISBN 978-5-9710-8579-9
Доступно
1 из 1
Книга
Комбинаторика и логика
ISBN 5-85843-041-4
Комбинаторика и логика
Серия: Приложение к журналу "Квант"
Бюро Квантум, 2003 г.ISBN 5-85843-041-4
Доступно
1 из 1
Книга
Новиков, Петр Сергеевич
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
Новиков, Петр Сергеевич
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Драгалин, Альберт Григорьевич
Конструктивная теория доказательств и нестандартный анализ
Эдиториал УРСС, 2003 г.
ISBN 5-354-00388-1
Драгалин, Альберт Григорьевич
Конструктивная теория доказательств и нестандартный анализ
Эдиториал УРСС, 2003 г.
ISBN 5-354-00388-1
Доступно
1 из 1
Книга
Ожигов, Юрий Игоревич
Конструктивная физика 2: квантовый компьютер и управление сложными системами
Институт компьютерных исследований, 2013 г.
ISBN 978-5-939729-52-9
Ожигов, Юрий Игоревич
Конструктивная физика 2: квантовый компьютер и управление сложными системами
Институт компьютерных исследований, 2013 г.
ISBN 978-5-939729-52-9
Доступно
1 из 1
Книга
Барендрегт, Хендрик Питер
Ламбда-исчисление: Его синтаксис и семантика
Мир, 1985 г.
ISBN отсутствует
Барендрегт, Хендрик Питер
Ламбда-исчисление: Его синтаксис и семантика
Мир, 1985 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Абрамов, Сергей Александрович
Лекции о сложности алгоритмов: учеб. пособие для студ. вузов
ISBN 978-5-940574-33-0
Абрамов, Сергей Александрович
Лекции о сложности алгоритмов: учеб. пособие для студ. вузов
Серия: Современные лекционные курсы
МЦНМО, 2009 г.ISBN 978-5-940574-33-0
Доступно
1 из 1
Книга
Яновская, Софья Александровна
Лекции по алгебре логики
ISBN 978-5-9710-0912-2
Яновская, Софья Александровна
Лекции по алгебре логики
Серия: Из научного наследия
URSS, 2015 г.ISBN 978-5-9710-0912-2
Доступно
1 из 1
Доступно
1 из 1
Книга
Логика и комбинаторика
ISBN 5-85843-040-6
Логика и комбинаторика
Серия: Приложение к журналу "Квант"
Бюро Квантум, 2002 г.ISBN 5-85843-040-6
Доступно
1 из 1
Книга
Фреге, Готтлоб
Логика и логическая семантика: сборник трудов
Аспект Пресс, 2000 г.
ISBN 5-7567-0128-1
Фреге, Готтлоб
Логика и логическая семантика: сборник трудов
Аспект Пресс, 2000 г.
ISBN 5-7567-0128-1
Доступно
5 из 5
Доступно
1 из 1
Доступно
1 из 1
Книга
Шиханович, Юрий Александрович
Логические и математические исчисления: Учеб.пособие
Научный мир, 2011 г.
ISBN 978-5-915222-46-4
Шиханович, Юрий Александрович
Логические и математические исчисления: Учеб.пособие
Научный мир, 2011 г.
ISBN 978-5-915222-46-4
Доступно
1 из 1
Книга
Логический подход к искусственному интеллекту: От классической логики к логическому программированию
Мир, 1990 г.
ISBN отсутствует
Логический подход к искусственному интеллекту: От классической логики к логическому программированию
Мир, 1990 г.
ISBN отсутствует
Доступно
2 из 2
Книга
Логический подход к искусственному интеллекту:От модальной логики к логике баз данных
Мир, 1998 г.
ISBN отсутствует
Логический подход к искусственному интеллекту:От модальной логики к логике баз данных
Мир, 1998 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Фудзисава, Тосио
Математика для радиоинженеров. Теория дискретных структур
Радио и связь, 1984 г.
ISBN отсутствует
Фудзисава, Тосио
Математика для радиоинженеров. Теория дискретных структур
Радио и связь, 1984 г.
ISBN отсутствует