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

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

Xehetasun bibliografikoak
Egile nagusia:	Игошин В. И. Владимир Иванович
Gaia:	Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика».
Hizkuntza:	errusiera
Argitaratua:	Москва, Академия, 2008
Edizioa:	3-е изд., стер.
Saila:	Высшее профессиональное образование. Педагогические специальности
Gaiak:	Математическая логика Алгоритмы, теория теория учебные пособия логическая правильность нормальные формы логическое следование булевы функции аргументы релейно-контактные схемы формализованное исчисление формальный вывод предикаты кванторные операции неформальные аксиоматические теории аксиоматические методы машины Тьюринга рекурсивные функции алгоритмы Маркова множества разрешимость перечислимость алгоритмические проблемы теорема Геделя компьютеры информатика искусственный интеллект программное обеспечение логическое программирование математика
Formatua:	Liburua
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=136802

Antzeko izenburuak

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

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

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

Математическая логика и теория алгоритмов: учебное пособие
nork: Набебин А. А. Алексей Александрович
Argitaratua: (СПб., Научный мир, 2008)

Теория алгоритмов: учебное пособие для вузов
nork: Игошин В. И. Владимир Иванович
Argitaratua: (Москва, Инфра-М, 2015)

Лекции по математической логике и теории алгоритмов; Ч. 3; Вычислимые функции
nork: Верещагин Н. К
Argitaratua: (Москва, МЦНМО, 1999)

Алгоритмы и формальные системы: учебное пособие
nork: Лисовик Л. П. Леонид Петрович
Argitaratua: (Киев, Изд-во КГУ, 1981)

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

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

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

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

Теория алгоритмов: учебное пособие
nork: Кожевникова Г. П. Галина Павловна
Argitaratua: (Львов, Вища школа, 1978)

Математическая логика и теория алгоритмов: учебник
nork: Судоплатов С. В.
Argitaratua: (Москва, Инфра-М, 2008)

Т. 2: [сборник]; Исследования по теории алгорифмов и математической логике
Argitaratua: (1976)

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

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

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

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

Теория формальных систем: пер. с англ.
nork: Смальян Р. Раймонд
Argitaratua: (Москва, Наука, 1981)

Математическая логика, математическая лингвистика и теория алгоритмов: сборник научных трудов
Argitaratua: (Калинин, Изд-во Калининского гос. ун-та, 1983)

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

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

Математическая логика и теория алгоритмов
Argitaratua: (Новосибирск, Наука, 1982)

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

Степени неразрешимости: пер. с англ.; Три теоремы о степенях рекурсивно перечислимых множеств; Решетка рекурсивно перечислимых множеств; Иерархия булевых алгебр; Гипотеза сильной однородности
nork: Шенфилд Дж. Джозеф
Argitaratua: (Москва, Наука, 1977)

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

Графы и алгоритмы. Структуры данных. Модели вычислений: учебник
nork: Алексеев В. Е. Владимир Евгеньевич
Argitaratua: (Москва, БИНОМ. Лаборатория знаний, 2012)

Теория алгоритмов: учебное пособие для вузов
nork: Крупский В. Н. Владимир Николаевич
Argitaratua: (Москва, Академия, 2009)

Т. 1: [сборник]; Исследования по теории алгорифмов и математической логике
Argitaratua: (1973)

Математическая логика и теория алгоритмов / ДО 2017: электронный курс
nork: Стоянов А. К. Александр Кириллович
Argitaratua: (Томск, TPU Moodle, 2018)

Методы оптимального проектирования сетей и формальные алгоритмы: учебное пособие
nork: Вшивцев А. С. Александр Сергеевич
Argitaratua: (Москва, МИРЭА, 1988)

Математическая логика и теория алгоритмов / ДО 2021: электронный курс
nork: Шефер О. В. Ольга Владимировна
Argitaratua: (Томск, TPU Moodle, 2021)

Теория алгоритмов: учебник
nork: Матрос Д. Ш. Дмитрий Шаевич
Argitaratua: (Москва, БИНОМ. Лаборатория знаний, 2008)

Алгоритмы в современной математике и ее приложениях: материалы международного симпозиума, Ургенч, УзССР, 16-22 сентября 1979 г. [В 2-х г.]; Ч.2
Argitaratua: (Новосибирск, Изд-во СО АН СССР, 1982)

Теория алгоритмов: учебное пособие для вузов
nork: Гладкий А. В. Алексей Всеволодович
Argitaratua: (Калинин, Изд-во КГУ, 1983)

Вычислимое и невычислимое
nork: Манин Ю. И. Юрий Иванович
Argitaratua: (Москва, Сов. радио, 1980)

Дискретная математика. Алгоритмы: теория и практика
nork: Авдошин С. М. Сергей Михайлович
Argitaratua: (Москва, ДМК Пресс, 2019)

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

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

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