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

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

Detalhes bibliográficos
Autor principal:	Игошин В. И. Владимир Иванович
Resumo:	Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов. технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Математик-педагог", "Учитель математики" на уровнях бакалавриата, магистратуры, а также специалитета.
Publicado em:	Москва, Инфра-М, 2012
Colecção:	Высшее образование
Assuntos:	алгебра высказываний высказывания формулы тавтологии логическая равносильность логическое следование булевы функции формализованные исчисления формальный вывод компьютеры применение предикаты логические операции равносильные преобразования логико-математическая практика логическое программирование неформальные аксиоматические теории математика формальные аксиоматические теории учебные пособия CD
Formato:	Livro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=205173

Registos relacionados

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ламбда-исчисление. Его синтаксис и семантика пер. с англ.
Por: Барендрегт Х. П. Хендрик Питер
Publicado em: (Москва, Мир, 1985)

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