Математическая логика: учебное пособие

Математическая логика: учебное пособие

Detalles Bibliográficos
Autor Principal:	Игошин В. И. Владимир Иванович
Summary:	Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов. технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Математик-педагог", "Учитель математики" на уровнях бакалавриата, магистратуры, а также специалитета.
Idioma:	ruso
Publicado:	Москва, Инфра-М, 2012
Series:	Высшее образование
Subjects:	Математическая логика алгебра высказываний высказывания формулы тавтологии логическая равносильность логическое следование булевы функции формализованные исчисления формальный вывод компьютеры применение предикаты логические операции равносильные преобразования логико-математическая практика логическое программирование неформальные аксиоматические теории математика формальные аксиоматические теории учебные пособия CD
Formato:	Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=205173

Títulos similares

Математическая логика: учебное пособие
por: Игошин В. И. Владимир Иванович
Publicado: (Москва, Инфра-М, 2019)

Математическая логика и теория алгоритмов: учебное пособие
por: Игошин В. И. Владимир Иванович
Publicado: (Москва, Академия, 2008)

Математическая логика и теория алгоритмов: учебное пособие
por: Игошин В. И. Владимир Иванович
Publicado: (Москва, Academia, 2004)

Введение в математическую логику
por: Зюзьков В. М.
Publicado: (Санкт-Петербург, Лань, 2022)

Математическая логика: учебное пособие
por: Лавров И. А. Игорь Андреевич
Publicado: (Москва, Академия, 2006)

Множества. Логика. Аксиоматические теории: пер. с англ.
por: Столл Р. Р. Роберт Р.
Publicado: (Москва, Просвещение, 1968)

Математическая логика и теория алгоритмов учебное пособие
por: Михальченко Г. Е.
Publicado: (Красноярск, СФУ, 2018)

Математическая логика: учебное пособие
por: Колмогоров А.Н. Андрей Николаевич
Publicado: (Москва, УРСС, 2005)

Проблема логического следования в математической логике: лекция
por: Джиджян Р. З.
Publicado: (Ереван, Изд-во Ереванского ун-та, 1981)

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

Математическая логика: учебное пособие для вузов
por: Ершов Ю. Л. Юрий Леонидович
Publicado: (Москва, Физматлит, 2011)

Курс математической логики и теории вычислимости: учебное пособие для вузов
por: Герасимов А. С. Александр Сергеевич
Publicado: (Санкт-Петербург, Лань, 2014)

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

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

Математическая логика и теория алгоритмов учебное пособие
por: Ярахмедов Г. А.
Publicado: (Махачкала, ДГПУ, 2024)

Математическая логика: учебник
por: Никольская И. Л. Инна Львовна
Publicado: (Москва, Высшая школа, 1981)

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

Основы математической логики учебное пособие
por: Репницкий В. Б.
Publicado: (Екатеринбург, ЕАСИ, 2015)

Элементы математической логики
por: Марков А. А. Андрей Андреевич
Publicado: (Москва, Изд-во МГУ, 1984)

Проектно-ориентированное обучение математической логике учебно-методическое пособие
por: Сангалова М. Е.
Publicado: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2013)

Дискретная математика и математическая логика: учебник
por: Аляев Ю. А. Юрий Александрович
Publicado: (Москва, Финансы и статистика, 2006)

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

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

Логические и математические исчисления: учебное пособие
por: Шиханович Ю. А. Юрий Александрович
Publicado: (Москва, Научный мир, 2011)

Логика и цепи переключения: сокр. пер. с англ.
por: Хилтон А. М. Алиса Мери
Publicado: (Москва, Госэнергоиздат, 1962)

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

Дискретная математика. Часть 1
por: Лежнина Ю. А.
Publicado: (Москва, РТУ МИРЭА, 2023)

Математическая логика. Дискретные функции. Теория алгоритмов: учебное пособие
por: Глухов М. М. Михаил Михайлович
Publicado: (СПб., Лань, 2012)

Математическая логика. Логика высказываний. Конспекты лекций и упражнения по курсу пособие для студентов специальностей 01.03.01, 01.05.01, 02.03.01
por: Петрова Л. П.
Publicado: (Воронеж, ВГУ, 2015)

Математическая логика: пер. с англ.
por: Гудстейн Р. Л.
Publicado: (Москва, Изд-во иностранной литературы, 1961)

Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: учебное пособие для вузов
por: Косовский Н. К. Николай Кириллович
Publicado: (Ленинград, Изд-во Ленинградского ун-та, 1981)

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

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

Применение методов математической логики. Секция : Представление знаний и синтез программ: тезисы докладов IV Всесоюзной конференции
Publicado: (Таллин, Изд-во ин-та кибернетики, 1986)

Лекции по математической логике: учебное пособие
por: Мощенский В. А. Владимир Андреевич
Publicado: (Минск, Изд-во Белорусского гос. ун-та, 1973)

Исследования по теории алгорифмов и математической логике: сборник
Publicado: (Москва, Наука, 1979)

Математическая логика и теория алгоритмов: учебное пособие
por: Крупский В. Н. Владимир Николаевич
Publicado: (Москва, Академия, 2013)

Математика метаматематики: пер. с англ.
por: Расева Е. Елена
Publicado: (Москва, Наука, 1972)

Логика и теория аргументации: Практикум
por: Рыбаков Н. С.
Publicado: (Псков, ПсковГУ, 2021)

Математика и информатика: учебное пособие для вузов
Publicado: (Москва, Высшая школа, 2004)