Математика

Галиев Ш. И. Математическая логика и теория алгоритмов. - Казань: Издательство КГТУ им. А. Н. Туполева. 2002. - 270 с. Пособие содержит следующие разделы. Логику высказываний и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ. Классические исчисления (высказываний и предикатов) и элементы неклассических …

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Ершов Ю.Л., Палютин Е.А. Математическая логика

29.07.201328.05.2020

Ершов Ю.Л., Палютин Е.А.Математическая логика: Учеб. пособие для вузов. - М., 1987. - 336 с. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более …

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Эдельман С.Л. Математическая логика

29.07.201328.05.2020

Эдельман С.Л. Математическая логика. - М., 1975. - 176 с. Рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов.

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Босс В. Лекции по математике. Том 10: Перебор и эффективные алгоритмы

29.07.201303.06.2019

Босс В. Лекции по математике. Т. 10: Перебор и эффективные алгоритмы: Учебное пособие. — М., 2008. — 216 с. Книга посвящена теории сложности алгоритмов в той ее части, где речь идет о противостоянии Р- и NP-задач. В резонанс с проблемой «Р против NP» входит обширная тематика: комбинаторные задачи на графах, …

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Босс В. Лекции по математике. Том 6: От Диофанта до Тьюринга

29.07.201303.06.2019

Босс В. Лекции по математике. Т. 6: От Диофанта до Тьюринга. - М., 2006. - 208 с. Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта — вот рассматриваемый круг вопросов. Изложение отличается краткостью и прозрачностью. Значительное …

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Князева А.Г. Различные варианты метода прогонки

26.07.201319.01.2018

Князева А.Г. Различные варианты метода прогонки.– Томск, 2006 Методические указания к выполнению лабораторных работ по курсу «Теплофизические основы высокотемпературных технологий в машиностроении» для студентов 5 курса, обучающихся по направлению 150900 «Технология, оборудование и автоматизация машиностроительных производств», специализации 151001.01 «Технология автоматизированного производства», 150917 «Физика высоких технологи в машиностроении»