Игошин Владимир Иванович Скачать все книги 4 Количество книг

Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов: I. Содержательная логика высказываний; II. Булевы функции; III. Содержательная логика предикатов; IV. Формальные логические теории; V. Элементы теории алгоритмов. В каждом параграфе подробно рассматриваются разнообразные типовые примеры и даются многочисленные задачи разного уровня сложности для самостоятельного решения. Теоретический материал изложен в учебниках: Игошин В.И. Математическая логика: Учеб. пособие. М.: ИНФРА-М, 2012. 399 с. +CD-R. (Высшее образование); Игошин В.И. Теория алгоритмов: Учеб. пособие. М.: ИНФРА-М, 2012. 318 с. (Высшее образование). Для студентов университетов, технических и педагогических вузов, обучающихся как на уровне бакалавриата, так и на уровне магистратуры по направлениям «Математика», «Информатика», «Прикладная математика и информатика», «Математика и компьютерные науки», «Бизнес-информатика», «Математик-педагог», «Учитель математики».

В учебнике традиционная логика излагается с точки зрения математической логики. Математизация начинается при изучении темы «Понятие», продолжается темой «Суждение» и достигает наибольшей своей эффективности при изучении дедуктивных умозаключений. Таким образом, математизации подвергается наиболее действенная часть традиционной логики. Рассмотрены вопросы взаимоотношения логики и интуиции в мыслительных процессах, роль языка в них, а также правдоподобные умозаключения и элемен ты теории нечетких множеств и нечеткой логики. Соответствует требованиям федеральных государственных образовательных стандартов высшего образования последнего поколения. Адресован в первую очередь студентам математических направлений подготовки и специальностей вузов, в особенности будущим учителям математики и информатики, обучающимся как на уровне бакалавриата, так и магистратуры в педагогических и классических университетах. Будет полезен также студентам гуманитарных направлений подготовки и специальностей вузов – юристам, философам, политологам, социологам, экономистам, историкам, филологам, лингвистам, изучающим традиционную логику и желающим узнать, как математические методы проникают в гуманитарные области знания, включая направление «Прикладная информатика».

В учебном пособии подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов, обучающихся по направлениям подготовки и специальностям «Математика», «Прикладная математика», «Математик-педагог», «Учитель математики» на уровнях бакалавриата, магистратуры, а также специалитета.

В учебном пособии изложены различные подходы к формализации понятия алгоритма. В нем рассматриваются: интуитивное понятие вычислимой арифметической функции, теория рекурсивных функций, рекурсивные предикаты, происходит уточнение понятия алгоритма через математическую машину Тьюринга и другие машины, рекурсивные и рекурсивно перечислимые множества, алгоритмические проблемы, некоторые оценки сложности алгоритмов. Помимо теоретических и практических материалов, учебное пособие содержит задания для самостоятельной работы. Содержание учебного пособия соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебное пособие предназначено для студентов высших учебных заведений, обучающихся по направлению «Педагогическое образование» профилей «Физика и информатика», «Технология и информатика», «Математика и информатика», «Информатика и математика», «Прикладная информатика». Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости.