Книги по ключевому слову «основания математики»

Задачи и упражнения по математической логике и теории алгоритмов (В. И. Игошин)

Математическая логика и теория алгоритмов (В. И. Игошин)

Математическая логика. Шпаргалка ()

Цепные дроби (В. И. Арнольд)

Сложностный метод теории алгоритмов (В. А. Шурыгин)

Распознавание и спецификация структур данных (А. В. Бабичев)

Русская вероятностная логика. Азбука математической логики (В. И. Лобанов)

Принцесса или тигр? (Р. М. Смаллиан)

Введение в математическую логику. Том 1 (А. Черч)

Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования (Ю. А. Гастев)

Введение в метаматематику. Пер. с англ (С. К. Клини)

Математическая логика и теория алгоритмов (А. К. Гуц)

Диофантовы уравнения и доказуемость в математике (Б. З. Мороз)

Теория алгоритмов (В. Е. Плиско,В. Н. Крупский)

Лекции о сложности алгоритмов (С. А. Абрамов)

Математическая логика. Пер. с англ (Р. Л. Гудстейн)

Основания теории множеств. Пер. с англ (Френкель А.А.,Бар-Хиллел И.)

Теория множеств и континуум-гипотеза. Пер. с англ (Коэн П. Дж. (медаль Филдса))

Минимум по теории алгоритмов для нематематиков (Ю. А. Шиханович)

Теория множеств. Пер. с фр (Н. Бурбаки)

Основы теоретической логики. Пер. с нем (Д. Гильберт,В. Аккерман)

Математическая логика и теория алгоритмов для программистов (Д. В. Гринченков,С. И. Потоцкий)

Логическая истина и эмпиризм (В. В. Целищев)

Доказательства и опровержения: Как доказываются теоремы. Пер. с англ (И. Лакатос)

Теорема Геделя. Пер. с англ (Нагель Э.,Ньюмен Дж.Р.)

Интуиционизм (А. Гейтинг)

Теория чисел. Задачи и решения (Г. И. Просветов)

Высшая арифметика: Введение в теорию чисел. Пер. с англ (Г. Дэвенпорт)

Алгоритмическая теория обратимости операторов (В. А. Шурыгин)

Теория множеств. Пер. с нем (Ф. Хаусдорф)

Математическая логика и теория алгоритмов (А. А. Набебин,Ю. П. Кораблин)

Распределение Пирсона, Джонсона, Вейбулла и обратное нормальное. Оценивание их параметров (Б. А. Бостанджиян)

Элементы теории множеств (А. Г. Порошкин)

Теорема Геделя (Э. Нагель,Дж. Р. Ньюмен)

Логические и математические исчисления (Ю. А. Шиханович)

Специальные числа натурального ряда (Е. И. Деза)

Теория чисел (А. К. Сушкевич)

Математическая логика (Ю. Л. Ершов,Е. А. Палютин)

Дискретная математика и математическая логика для информатиков, экономистов и менеджеров (М. В. Триумфгородских)

Математическая логика: Учебное пособие. + CD. Игошин В.И (В. И. Игошин)

Языки и исчисления (А. Шень,Н. К. Верещагин)

Математическая логика. Введение в математическую логику (А. Н. Колмогоров,А. Г. Драгалин)

Теория алгоритмов (В. И. Игошин)

Рассказы о множествах (5-е издание, стереотипное) (Н. Я. Виленкин)

Диаграммы Юнга и их предельная форма (Буфетов А.И.,Житлухин М.В.,Козин Н. Е.)

Математическая логика и теория алгоритмов: Учебное пособие. Крупский В.Н (В. Н. Крупский)

Теория алгоритмов: Учебное пособие. Игошин В.И (В. И. Игошин)

Обращающие и удваивающие самопополняемые алгорифмы (И. А. Цветков)

Сборник задач по теории чисел. 112 задач с подробными решениями. Учебное пособие (Е. И. Деза,Л. В. Котова)

Математическая логика. Шпаргалка (Е. А. Леснова)

Теория игр. Учебное пособие для университетов (Н. А. Зенкевич,Л. А. Петросян,Е. А. Семина)

Курс математической логики и теории вычислимости. Учебное пособие (А. С. Герасимов)

Lecciones de matematica: Тomo 6: Logica, algoritmos, computabilidad: De Diofanto a Turing у Godel (В. Босс)

Лекции по алгебре логики (С. А. Яновская)

Философские принципы математики. Пер. с фр (Л. Кутюра)

Колмогоровская сложность и алгоритмическая случайность (А. Шень,В. А. Успенский,Н. К. Верещагин)

Логические равенства (П. С. Порецкий)

Логика и логическая семантика. Пер. с нем (Г. Фреге)

Лекции по математике. Том 6. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя. Учебное пособие (В. Босс)

Математическая логика. Дополнительные главы. Учебное пособие (А. Н. Колмогоров,А. Г. Драгалин)

Logica matematica: Introduccion a la logica matematica ()

Logica matematica: Capitulos complementarios ()

Математическая логика. Введение в математическую логику. Учебное пособие (А. Н. Колмогоров,А. Г. Драгалин)

Лекции по математике. Том 14. Теория чисел (В. Босс)

Лекции по математике. Теория множеств. От Кантора до Коэна. Учебное пособие. Том 16 (В. Босс)

Основы математической логики и теории множеств. Учебное пособие (С. В. Буфеев,И. С. Буфеев)

Вычислимость и логика (Дж. Булос,Р. Джеффри)

Математическая логика и теория алгоритмов. Учебное пособие (А. К. Гуц)

Элементарная и близкая к ней логические эквивалентности классических и универсальных алгебр (А. В. Михалев,А. Г. Пинус,Е. И. Бунина)

Специальные числа натурального ряда. Учебное пособие (Е. И. Деза)

Основы комбинаторики и теории чисел. Сборник задач. Учебное пособие (А. М. Райгородский,А. А. Чернов,А. А. Глибичук,Д. Г. Ильинский,Д. В. Мусатов)

Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции (А. Шень,Н. К. Верещагин)

Лекции по выпуклому и многозначному анализу. Учебное пособие (А. В. Арутюнов)

Сложение однобитных чисел. Треугольник Паскаля, салфетка Серпинского и теорема Куммера (С. Б. Гашков)

Математика. Логика, множества, отображения. Избранные аспекты в элементарном изложении. Учебное пособие (А. З. Веселовкася,Н. Б. Шепелявая)

Числа. Линейные уравнения и матрицы. Лекции по математике. Выпуск 1 (Ю. В. Чебраков)

Конспект по Русской вероятностной логике (В. И. Лобанов)

Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств (А. Шень,Н. К. Верещагин)

Современная теория множеств. Абсолютно неразрешимые классические проблемы (В. Г. Кановей,В. А. Любецкий)

Естественные трехзначные логики. Функциональные свойства и отношения (Н. Е. Томова)

Курс лекций по дискретной математике. Часть 2. Математическая логика (Е. В. Просолупов)

Объемная однородность (А. Б. Скопенков)

Алгоритмизация мышления. Геделевский аргумент (В. В. Целищев)

Эпистемология математического доказательства (В. В. Целищев)

Интуиция, финитизм и рекурсивное мышление (В. В. Целищев)

Тезис Черча (В. В. Целищев)

Прикладная логика (С. В. Попов,Н. Л. Брошкова)

Лекции по математике. Том 16. Теория множеств. От Кантора до Коэна. Учебное пособие (В. Босс)

Математическая логика и теория алгоритмов для программистов. Учебное пособие (Гринченков Д.В.,Потоцкий С.И.)

Математическая логика. Учебное пособие (В. И. Игошин)

Теория игр. Играют все (А.И. Кобзарь,В.Н. Тикменов,И.В. Тикменова)

О математических структурах (И. П. Егоров)

Категории и некоторые их приложения (Г. В. Кондратьев)

Золотой билет. P, NP и границы возможного (Лэнс Фортноу)

Математическая логика. Учебник (В. И. Поляков,В. И. Скорубский,А. Г. Зыков)

Классы элементарных рекурсивных функций (С. С. Марченков)

Русская логика - индикатор интеллекта (В. И. Лобанов)

Лекции по русской логике (В. И. Лобанов)

Математическая логика. Учебник и практикум (В. И. Поляков,В. И. Скорубский,А. Г. Зыков)

Математическая логика и тория алгоритмов. Сборник задач. Учебное пособие (В. И. Игошин)

Лекции по математике. Том 14. Теория чисел. Учебное пособие (В. Босс)

Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. Учебное пособие (Н. К. Верещагин)

Математика без формул. Книга 2. Функциональные ряды, линейное и метрическое пространства, аффинные преобразования, группы преобразований, исчисление высказываний и предикатов (Ю. П. Попов,Ю. В. Пухначев)

Математика наблюдателей и ее приложения к квантовой механике, теории относительности и классической математике (Б. С. Хоц,Д. Б. Хоц)

Интеллектуальные системы: основы теории нечетких множеств. Учебное пособие для академического бакалавриата (Д. М. Назаров,Л. К. Конышева)

Введение в общую теорию множеств и функций (П. Александров)

Введение в общую теорию множеств и функций. Учебное пособие (П. С. Александров)

Последовательности типа Фибоначчи. Теория и прикладные аспекты. Учебное пособие (Ю. Д. Григорьев,Г. Я. Мартыненко)

Основы математической логики (В. П. Супрун)

Логика высказываний. Учебное пособие (С. И. Гуров)

Числовые системы. Учебное пособие для СПО (Ларин Сергей Васильевич)

Числовые системы. Учебное пособие для академического бакалавриата (Ларин Сергей Васильевич)

Системы счисления в диофантовых равенствах (В. Агафонцев В.В.)

Математическая логика и теория алгоритмов. Учебник и практикум для академического бакалавриата (Овчинникова Елена Викторовна,Судоплатов Сергей Владимирович)

Арифметические кольца и эндоморфизмы.Монография (А. А. Туганбаев)

Введение в математическую логику. Учебное пособие (В. М. Зюзьков)

Принцесса или тигр? (Р. М. Смаллиан)