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

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

ग्रंथसूची विवरण
मुख्य लेखक:	Депман И. Я. Иван Яковлевич
भाषा:	रूसी
प्रकाशित:	Ленинград, Знание, 1965
संस्करण:	2-е испр. изд.
श्रृंखला:	Общество "Знание" РСФСР. Ленинградская организация
विषय:	математическая логика логика алгебра логические уравнения задачи решение
स्वरूप:	पुस्तक
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=92366

समान संसाधन

Решение задач математической логики с использованием элементарной алгебры
द्वारा: Коваленко С. И. Сергей Иванович
प्रकाशित: (Москва, Физматлит, 2004)

Обольстить логикой. Выводы на все случаи жизни
द्वारा: Дрёссер К. Кристоф
प्रकाशित: (Москва, Лаборатория знаний, 2025)

Математическая логика и теория алгоритмов для программистов: учебное пособие
द्वारा: Гринченков Д. В. Дмитрий Валерьевич
प्रकाशित: (Москва, КноРус, 2010)

Дискретная математика учебное пособие
द्वारा: Бекарева Н. Д.
प्रकाशित: (Новосибирск, НГТУ, 2019)

Логические уравнения
द्वारा: Закревский А. Д. Аркадий Дмитриевич
प्रकाशित: (Минск, Наука и техника, 1975)

Математическая логика и теория алгоритмов для программистов: учебное пособие
द्वारा: Гринченков Д. В. Дмитрий Валерьевич
प्रकाशित: (Москва, КноРус, 2013)

Как математика ум в порядок приводит
द्वारा: Столяр А. А. Абрам Аронович
प्रकाशित: (Минск, Высшая школа, 1991)

Конструктивная математическая логика с точки зрения классической
द्वारा: Новиков П. С. Петр Сергеевич
प्रकाशित: (Москва, Наука, 1977)

Математическая логика. Задачник-практикум и решения: курс лекций; учебное пособие
द्वारा: Лихтарников Л. М. Леонид Моисеевич
प्रकाशित: (СПб., Лань, 2009)

Математическая логика: учебное пособие
द्वारा: Эдельман С. Л. Самсон Львович
प्रकाशित: (Москва, Высшая школа, 1975)

Логика в информатике: Методическое пособие
द्वारा: Лыскова В. Ю. Вероника Юрьевна
प्रकाशित: (Москва, Лаборатория Базовых Знаний, 2004)

Логика. Курс лекций в таблицах, рисунках и примерах учебное пособие для вузов
द्वारा: Бабичева И. В.
प्रकाशित: (Санкт-Петербург, Лань, 2024)

Решение логических и игровых задач: Логико-психологические этюды
द्वारा: Шапиро Самуил Иосифович
प्रकाशित: (Москва, Радио и связь, 1984)

Математическая логика. Курс лекций. Задачник-практикум и решения
द्वारा: Лихтарников Л. М.
प्रकाशित: (Санкт-Петербург, Лань, 2022)

Прикладные задачи математической физики и функционального анализа
प्रकाशित: (Алма-Ата, Наука, 1985)

Logical Systems for Industrial Applications
द्वारा: Jaczewski J. Jerzy
प्रकाशित: (Warszawa, PWN Polish Scientific Publishers, 1978)

Исследование логических систем
प्रकाशित: (Москва, Наука, 1970)

Теория поиска вывода. Происхождение и философские приложения монография
द्वारा: Брюшинкин В. Н.
प्रकाशित: (Калининград, БФУ им. И.Канта, 2012)

Вып. 5; Логические исследования
प्रकाशित: (1998)

Применение ЭВМ для решения задач математической логики: учебное пособие
द्वारा: Мелихов А. Н. Аскольд Николаевич
प्रकाशित: (Таганрог, Изд-воТРТИ, 1988)

Рекурсивно перечислимые множества и сводимости табличного типа
द्वारा: Дегтев А. Н. Александр Николаевич
प्रकाशित: (Москва, Наука, 1998)

Симметрическая конструктивная логика
द्वारा: Заславский И. Д. Игорь Дмитриевич
प्रकाशित: (Ереван, Изд-во АН Армянской ССР, 1978)

Задачник по математической логике: учебное пособие
द्वारा: Горбатов В .А.
प्रकाशित: (Москва, Изд-во МЭИ, 1972)

Математическая теория логического вывода: сборник переводов
प्रकाशित: (Москва, Наука, 1967)

Логическое программирование и моделирование систем: учебное пособие
द्वारा: Новосельцев В. Б. Виталий Борисович
प्रकाशित: (Томск, Изд-во ТПУ, 2008)

Математическая логика и теория алгоритмов: учебное пособие
द्वारा: Шелупанов А. А. Александр Александрович
प्रकाशित: (Томск, STT, 2001)

Математическая логика и булевы функции учебно-методическое пособие для обучающихся по дисциплине «дискретная математика» по направлению подготовки 09.03.03 прикладная информатика и 09.03.04 программная инженерия
द्वारा: Прокопенко Н. Ю.
प्रकाशित: (Нижний Новгород, ННГАСУ, 2021)

Логико-алгебраические конструкции: Сборник научных трудов
प्रकाशित: (Тверь, Изд-во Тверского гос. ун-та, 1992)

Элементы математической логики
द्वारा: Новиков П. С. Петр Сергеевич
प्रकाशित: (Москва, Наука, 1973)

Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
द्वारा: Игошин В. И. Владимир Иванович
प्रकाशित: (Москва, Академия, 2005)

Заметки по логике: пер. с англ.
द्वारा: Линдон Р.
प्रकाशित: (Москва, Мир, 1968)

Логико-алгебраические основы дискретной математики учебное пособие для вузов
द्वारा: Розен В. В.
प्रकाशित: (Санкт-Петербург, Лань, 2023)

Задачи по теории множеств, математической логике и теории алгоритмов
द्वारा: Лавров И. А. Игорь Андреевич
प्रकाशित: (Москва, Физматлит, 2006)

Вып. 122 : Прикладные аспекты математической логики; Вычислительные системы
प्रकाशित: (1987)

Избранные труды; Теория множеств. Математическая логика и алгебра
द्वारा: Новиков П. С. Петр Сергеевич
प्रकाशित: (Москва, Наука, 1979)

Алгебра и математическая логика: межведомственный сборник
प्रकाशित: (Киев, Изд-во Киевского ун-та, 1966)

Алгебра логики в задачах
द्वारा: Гиндикин С. Г. Семен Григорьевич
प्रकाशित: (Москва, Наука, 1972)

Дискретная математика учебное пособие
द्वारा: Скоба А. Н.
प्रकाशित: (Новочеркасск, ЮРГПУ (НПИ), 2022)

Так-логично!: пер. с венг.
द्वारा: Хаваш К.
प्रकाशित: (Москва, Прогресс, 1985)

Как же называется эта книга?: пер. с англ.
द्वारा: Смаллиан Р. М. Рэймонд М.
प्रकाशित: (Москва, Мир, 1981)