Булевы алгебры: научное издание/

Булевы алгебры: научное издание/

Библиографическая информация
Главный автор:	Владимиров, Д. А. Денис Артемьевич (Автор)
Формат:	Книга
Публикация:	М.: Наука 1969
Предметы:	АЛГЕБРА ЛОГИКИ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
Online-ссылка:	Перейти в каталог Библиотеки ТУСУР

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

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

Счетные булевы алгебры и разрешимость
по: Гончаров, Сергей Савостьянович
Публикация: (1996)

Einstieg in die mathematische Logik
по: Boehme, Gert
Публикация: (1981)

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

Математическая логика курс лекций : задачник-практикум и решения : учебное пособие
по: Лихтарников, Леонид Моисеевич
Публикация: (2009)

Математическая логика курс лекций, задачник-практикум и решения : учебное пособие
по: Лихтарников, Леонид Моисеевич
Публикация: (2008)

Задачи по теории множеств, математической логике и теории алгоритмов
по: Лавров, Игорь Андреевич
Публикация: (2009)

Задачи по теории множеств, математической логике и теории алгоритмов
по: Лавров, Игорь Андреевич
Публикация: (2001)

Прямая и обратные теоремы. Элементы алгебры логики: научное издание/
по: Градштейн, И. С. Израиль Соломонович
Публикация: (1965)

Математическая логика. Курс лекций. Задачник-практикум и решения учебное пособие для вузов
по: Лихтарников, Леонид Моисеевич
Публикация: (2008)

Булевы алгебры
по: Владимиров, Денис Артемьевич
Публикация: (1969)

Булевы алгебры
по: Владимиров, Денис Артемьевич
Публикация: (1969)

Задачи по теории множеств, математической логике и теории алгоритмов
по: Лавров, Игорь Андреевич
Публикация: (1984)

О локальной определимости типов функций алгебры логики
по: Алексанян, А. А.
Публикация: (1982)

Математическая логика и теория алгоритмов [учебное пособие для вузов по специальностям "Комплексное обеспечение информационной безопасности автоматизированных систем", "Организация и технология защиты информации"]
по: Зюзьков, Валентин Михайлович
Публикация: (2007)

Необыкновенная алгебра
по: Яглом, Исаак Моисеевич 1921-1988
Публикация: (1968)

Математическая логика и теория алгоритмов: учебное пособие/
по: Игошин, В. И. Владимир Иванович
Публикация: (2010)

Многозначные логики и их применения
Публикация: (2020)

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

Математическая логика Курс лекций. Задачник-практикум и решения
по: Лихтарников, Леонид Моисеевич
Публикация: (1999)

Задачи и упражнения по математической логике и теории алгоритмов [учебное пособие для вузов по специальности 032100 "Математика"]
по: Игошин, Владимир Иванович
Публикация: (2005)

Задачи и упражнения по математической логике и теории алгоритмов [учебное пособие для вузов по специальности 050201 "Математика"]
по: Игошин, Владимир Иванович
Публикация: (2008)

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

Логические уравнения: научное издание/
по: Закревский, А.Д. Аркадий Дмитриевич
Публикация: (1975)

Математическая логика учебное пособие : [для студентов вузов по направлению подготовки 44.03.05 "Педагогическое образование" (бакалавриат)]
по: Игошин, Владимир Иванович
Публикация: (2016)

Дискретная математика учебное пособие
по: Матросова, Анжела Юрьевна
Публикация: (2007)

Булева структура и ее модели: научное издание/
по: Яглом, И. М. Исаак Моисеевич
Публикация: (1980)

Курс математической логики и теории вычислимости учебное пособие
по: Герасимов, Александр Сергеевич
Публикация: (2011)

Основы теории булевых функций: /
по: Перязев, Н. А. Николай Алексеевич
Публикация: (1999)

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

Решение задач математической логики с использованием элементарной алгебры
по: Коваленко, Сергей Иванович
Публикация: (2004)

Логический подход к искусственному интеллекту От классической логики к логическому программированию
Публикация: (1990)

Математическая логика и теория алгоритмов учебник : [по направлениям 654600 "Информатика и вычислительная техника", 654700 "Информационные системы", 540200 "Физико-математическое образование"]
по: Судоплатов, Сергей Владимирович
Публикация: (2004)

Математическая логика [Учебное пособие для математических специальностей педагогических институтов]
по: Столяр, Абрам Аронович
Публикация: (1991)

Математическая логика и теория алгоритмов [учебное пособие]
по: Хусаинов, Ахмет Аксанович
Публикация: (2005)

Логика высказываний и предикатов. Неклассическая логика учебное пособие для студентов специальности 030101.65 Философия
по: Ненашев, Михаил Иванович
Публикация: (2009)

Математическая логика. Дискретные функции. Теория алгоритмов [учебное пособие для вузов по направлению подготовки (специальности) 090301 - "Компьютерная безопасность", 090303 - "Информационная безопасность автоматизированных систем"]
по: Глухов, Михаил Михайлович доктор физ.-мат. наук
Публикация: (2012)

Задачи по логике пособие для студентов-математиков НГУ
по: Лавров, Игорь Андреевич
Публикация: (1970)

Квазиматричная (квазифункциональная) логика
по: Ивлев, Юрий Васильевич 1936-
Публикация: (2018)

Математические основы гуманитарных знаний учебное пособие для студентов высших учебных заведений, обучающихся по гуманитарным специальностям и направлениям
по: Салий, Вячеслав Николаевич
Публикация: (2009)