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

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

Библиографическая информация
Главный автор:	Карри, Хаскелл Брокс
Другие авторы:	Гастев, Юрий Алексеевич 1928-1993 (Редактор)
Формат:	Книга
Язык:	Russian
Публикация:	Москва Мир 1969
Предметы:	Математическая логика логические антиномии формальные системы (мат. логика) алгорифмы эпитеория (мат. логика) монотонные отношения алгебры логические алгебра логическая реляционная структуры (мат.) импликация, теория алгебра логическая ассерторическая алгебры высказываний отрицание (мат. логика) кванторы кванторы, формы теории модальности необходимость (мат. логика), теория
Online-ссылка:	Перейти в каталог НБ ТГУ

Похожие документы

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

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

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

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

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

Элементы математической логики
по: Новиков, Петр Сергеевич
Публикация: (1959)

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

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

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

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

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

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

Избранные работы [пер. с нем.]
по: Фреге, Готтлоб 1848-1925
Публикация: (1997)

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

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

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

Алгебра логики в задачах
по: Гиндикин, Семен Григорьевич
Публикация: (1972)

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

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

Теория доказательств
по: Такеути, Г.
Публикация: (1978)

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

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

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

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

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

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

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

Квантовая логика
по: Васюков, Владимир Леонидович
Публикация: (2005)

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

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

Логическая семантика и философские основания логики
по: Смирнова, Елена Дмитриевна
Публикация: (1986)

Введение в искусственный интеллект
по: Эртель, Вольфганг
Публикация: (2019)

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

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

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

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

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

Проблемы логики
Публикация: (1963)

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

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