Первое знакомство с математической логикой

Первое знакомство с математической логикой

Bibliographic Details
Main Author:	Депман И. Я. Иван Яковлевич
Language:	Russian
Published:	Ленинград, Знание, 1965
Edition:	2-е испр. изд.
Series:	Общество "Знание" РСФСР. Ленинградская организация
Subjects:	математическая логика логика алгебра логические уравнения задачи решение
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=92366

Similar Items

Решение задач математической логики с использованием элементарной алгебры
by: Коваленко С. И. Сергей Иванович
Published: (Москва, Физматлит, 2004)

Обольстить логикой. Выводы на все случаи жизни
by: Дрёссер К. Кристоф
Published: (Москва, Лаборатория знаний, 2025)

Математическая логика и теория алгоритмов для программистов: учебное пособие
by: Гринченков Д. В. Дмитрий Валерьевич
Published: (Москва, КноРус, 2010)

Дискретная математика учебное пособие
by: Бекарева Н. Д.
Published: (Новосибирск, НГТУ, 2019)

Математическая логика и теория алгоритмов для программистов: учебное пособие
by: Гринченков Д. В. Дмитрий Валерьевич
Published: (Москва, КноРус, 2013)

Логические уравнения
by: Закревский А. Д. Аркадий Дмитриевич
Published: (Минск, Наука и техника, 1975)

Как математика ум в порядок приводит
by: Столяр А. А. Абрам Аронович
Published: (Минск, Высшая школа, 1991)

Конструктивная математическая логика с точки зрения классической
by: Новиков П. С. Петр Сергеевич
Published: (Москва, Наука, 1977)

Математическая логика. Задачник-практикум и решения: курс лекций; учебное пособие
by: Лихтарников Л. М. Леонид Моисеевич
Published: (СПб., Лань, 2009)

Математическая логика: учебное пособие
by: Эдельман С. Л. Самсон Львович
Published: (Москва, Высшая школа, 1975)

Логика в информатике: Методическое пособие
by: Лыскова В. Ю. Вероника Юрьевна
Published: (Москва, Лаборатория Базовых Знаний, 2004)

Логика. Курс лекций в таблицах, рисунках и примерах учебное пособие для вузов
by: Бабичева И. В.
Published: (Санкт-Петербург, Лань, 2024)

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

Решение логических и игровых задач: Логико-психологические этюды
by: Шапиро Самуил Иосифович
Published: (Москва, Радио и связь, 1984)

Logical Systems for Industrial Applications
by: Jaczewski J. Jerzy
Published: (Warszawa, PWN Polish Scientific Publishers, 1978)

Прикладные задачи математической физики и функционального анализа
Published: (Алма-Ата, Наука, 1985)

Теория поиска вывода. Происхождение и философские приложения монография
by: Брюшинкин В. Н.
Published: (Калининград, БФУ им. И.Канта, 2012)

Задачник по математической логике: учебное пособие
by: Горбатов В .А.
Published: (Москва, Изд-во МЭИ, 1972)

Применение ЭВМ для решения задач математической логики: учебное пособие
by: Мелихов А. Н. Аскольд Николаевич
Published: (Таганрог, Изд-воТРТИ, 1988)

Исследование логических систем
Published: (Москва, Наука, 1970)

Вып. 5; Логические исследования
Published: (1998)

Математическая логика и булевы функции учебно-методическое пособие для обучающихся по дисциплине «дискретная математика» по направлению подготовки 09.03.03 прикладная информатика и 09.03.04 программная инженерия
by: Прокопенко Н. Ю.
Published: (Нижний Новгород, ННГАСУ, 2021)

Симметрическая конструктивная логика
by: Заславский И. Д. Игорь Дмитриевич
Published: (Ереван, Изд-во АН Армянской ССР, 1978)

Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
by: Игошин В. И. Владимир Иванович
Published: (Москва, Академия, 2005)

Логическое программирование и моделирование систем: учебное пособие
by: Новосельцев В. Б. Виталий Борисович
Published: (Томск, Изд-во ТПУ, 2008)

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

Математическая теория логического вывода: сборник переводов
Published: (Москва, Наука, 1967)

Рекурсивно перечислимые множества и сводимости табличного типа
by: Дегтев А. Н. Александр Николаевич
Published: (Москва, Наука, 1998)

Вып. 122 : Прикладные аспекты математической логики; Вычислительные системы
Published: (1987)

Дискретная математика учебное пособие
by: Скоба А. Н.
Published: (Новочеркасск, ЮРГПУ (НПИ), 2022)

Элементы математической логики
by: Новиков П. С. Петр Сергеевич
Published: (Москва, Наука, 1973)

Логико-алгебраические конструкции: Сборник научных трудов
Published: (Тверь, Изд-во Тверского гос. ун-та, 1992)

Так-логично!: пер. с венг.
by: Хаваш К.
Published: (Москва, Прогресс, 1985)

Алгебра и математическая логика: межведомственный сборник
Published: (Киев, Изд-во Киевского ун-та, 1966)

Заметки по логике: пер. с англ.
by: Линдон Р.
Published: (Москва, Мир, 1968)

Задачи по теории множеств, математической логике и теории алгоритмов
by: Лавров И. А. Игорь Андреевич
Published: (Москва, Физматлит, 2006)

Логико-алгебраические основы дискретной математики учебное пособие для вузов
by: Розен В. В.
Published: (Санкт-Петербург, Лань, 2023)

Как же называется эта книга?: пер. с англ.
by: Смаллиан Р. М. Рэймонд М.
Published: (Москва, Мир, 1981)

Что такое математическая логика?
by: Калужнин Л. А. Лев Аркадьевич
Published: (Москва, Наука, 1964)

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