Основания математической логики

Основания математической логики

Bibliographic Details
Main Author:	Карри, Хаскелл Брокс
Other Authors:	Гастев, Юрий Алексеевич 1928-1993 (Editor)
Format:	Book
Language:	Russian
Published:	Москва Мир 1969
Subjects:	Математическая логика логические антиномии формальные системы (мат. логика) алгорифмы эпитеория (мат. логика) монотонные отношения алгебры логические алгебра логическая реляционная структуры (мат.) импликация, теория алгебра логическая ассерторическая алгебры высказываний отрицание (мат. логика) кванторы кванторы, формы теории модальности необходимость (мат. логика), теория
Online Access:	Перейти в каталог НБ ТГУ

Similar Items

Математическая логика [учебник для техникумов по специальности "Прикладная математика"]
by: Никольская, Инна Львовна
Published: (1981)

Элементы математической логики и теории множеств
by: Пензов, Юрий Ефимович
Published: (1968)

Лекции по математической логике Учебное пособие для студентов математических специальностей вузов
by: Мощенский, Владимир Андреевич
Published: (1973)

Развитие многозначной логики
by: Карпенко, Александр Степанович 1946-
Published: (2016)

Натуральный вывод теоретико-доказательственное исследование
by: Правиц, Даг
Published: (2020)

Элементы математической логики
by: Новиков, Петр Сергеевич
Published: (1959)

Вводный курс математической логики [учебное пособие]
by: Успенский, Владимир Андреевич 1930-2018
Published: (2004)

Вводный курс математической логики [учебное пособие]
by: Успенский, Владимир Андреевич 1930-2018
Published: (2007)

Содержательная семантика модальной логики
by: Ивлев, Юрий Васильевич 1936-
Published: (1985)

Проблема гиперконнексивности в чистых теориях коннексивной импликации
by: Беликов, Александр Александрович

Логика высказываний: язык, алгебра, исчисления учебное пособие : [по программе бакалавриата по социально-экономическим и гуманитарным направлениям подготовки]
by: Кислов, Алексей Геннадьевич
Published: (2012)

Вопросы логики [сборник статей
Published: (1955)

Избранные работы [пер. с нем.]
by: Фреге, Готтлоб 1848-1925
Published: (1997)

Алгебра и теория чисел [Учебное пособие для педагогических институтов по специальностям "Математика", "Математика и Физика" и "Физика и математика"]
by: Куликов, Леонид Яковлевич 1914-2001
Published: (1979)

Логическая семантика и модальная логика Сборник статей
Published: (1967)

Новое изложение логики, основанное на элементарных курсах математики и физики
by: Герн, Богдан Адольфович 1962-1939
Published: (1903)

Алгебра логики в задачах
by: Гиндикин, Семен Григорьевич
Published: (1972)

Импликации и модальности
by: Ивин, Александр Архипович 1939-
Published: (2004)

Избранные труды Теория множеств и функций. Математическая логика и алгебра
by: Новиков, Петр Сергеевич
Published: (1979)

Теория доказательств
by: Такеути, Г.
Published: (1978)

Математическая логика курс лекций и практических занятий : [учебное пособие для студентов вузов, обучающихся по специальности 220200 "Автоматизированные системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях"]
by: Шапорев, Сергей Дмитриевич
Published: (2005)

Математическая логика и теория алгоритмов: Учебное пособие/
by: Шелупанов, А. А. Александр Александрович, et al.
Published: (2001)

Очерки комплексной логики
by: Зиновьев, Александр Александрович 1922-2006
Published: (2000)

Нечеткие графы и гиперграфы
by: Берштейн, Леонид Самойлович
Published: (2005)

Математическая логика Учебно-методическое пособие по курсу "Математическая логика"
Published: (2000)

Хорошие кольца формальных матриц, автоморфизмы алгебр формальных матриц и системы формальных уравнений диссертация на соискание ученой степени кандидата физико-математических наук : 01.01.06
by: Норбосамбуев, Цырендоржи Дашацыренович
Published: (2018)

Русская логика-это очень просто!
by: Лобанов, Владимир Иванович
Published: (2006)

Квантовая логика
by: Васюков, Владимир Леонидович
Published: (2005)

Прикладная логика: Учебное пособие/
by: Непейвода Николай Николаевич
Published: (1997)

Логические проблемы преподавания математики [учебное пособие для математических факультетов педагогических институтов]
by: Столяр, Абрам Аронович
Published: (1965)

Введение в искусственный интеллект
by: Эртель, Вольфганг
Published: (2019)

Логическая семантика и философские основания логики
by: Смирнова, Елена Дмитриевна
Published: (1986)

Основания теории множеств
by: Френкель, Абрахам Адольф
Published: (2010)

Автоматическое образование гипотез Математические основы общей теории
by: Гаек, Петр
Published: (1984)

Математическая логика и теория алгоритмов: Учебное пособие для вузов/
by: Зюзьков, В. М. Валентин Михайлович, et al.
Published: (2007)

Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов [учебное пособие по специальностям в области 090100 "Информационная безопасность"]
Published: (2008)

Рассуждая логически. . . [Сборник]
Published: (2001)

Проблемы логики
Published: (1963)

Символическая логика [учебник для студентов и аспирантов философских факультетов университетов]
Published: (2005)

Введение в логику и методологию дедуктивных наук
by: Тарский, Альфред 1901-1983
Published: (1948)