Элементы математической логики - все книги по дисциплине. Издательство Лань
Выгрузка списка книг доступна только авторизованным пользователям. Авторизоваться
Учебное пособие будет полезно студентам технических университетов, специализирующимся в направлении «Информатика».
Учебное пособие разработано для подготовки студентов к выполнению заданий по дисциплине «Летняя учебная практика по получению первичных навыков работы с программным обеспечением», «Летняя практика для работы с программными продуктами» и включает в себя следующие разделы: порядок выполнения отчетных документов, требования и содержание к отчетным документам, задания на учебную практику: операции над матрицами и векторами, решение системы линейных алгебраических уравнений (СЛАУ) методом Гаусса, вычисление определенного интеграла и интерполирование функции, приложения и список литературы.
Соответствует современным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным квалификационным требованиям.
После каждой лекции приводится материал для самоконтроля. Тестовые задания проверяют знание определений, классификаций, формул. Для создания условий пооперационного формирования мыслительных процессов при решении практических задач по логике предлагаются специально сконструированные задания в тетрадях с печатной основой. В конце пособия приведены ответы к каждому заданию в развернутом виде.
Предлагаемое методическое наполнение пособия позволяет достаточно эффективно его использовать на этапе первичного закрепления теоретического материала по логике.
Пособие предназначено для студентов и бакалавров экономических специальностей.
Учебник содержит введение, 9 глав, библиографический список. Рассмотрены разделы математики, посвященные теории множеств, математической логике, теории логического вывода, теории графов, экспертным методам, теории принятия решений, нелинейному программированию, транспортной задаче и теории функций комплексной переменной.
Теоретические положения проиллюстрированы примерами, в том числе прикладного характера. В конце каждой главы приведены задачи для самостоятельного решения.
Учебник может быть также полезен магистрам, аспирантам и преподавателям вузов.
Для студентов технических специальностей колледжей и техникумов, школьников старших классов общеобразовательных школ и для всех желающих самостоятельно пройти вводный курс прикладной дискретной математики. Соответствует современным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным квалификационным требованиям.
Пособие предназначено для студентов, изучающих курс «Дискретная математика», а также другие дисциплины, относящиеся к теории дискретных систем и использующие аппарат дискретной математики.
Соответствует современным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным квалификационным требованиям.
Данное пособие можно использовать для подготовки студентов к компьютерному тестированию по дискретной математике на этапах текущего, промежуточного контроля и проверки остаточных знаний. Пособие адресовано студентам учреждений среднего профессионального образования, обучающимся по специальностям «Информационные системы и программирование», «Информатика», а также школьникам старших классов.
Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и рассмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения.
Для студентов вузов, обучающихся направлениям подготовки и специальностям, входящим в УГС: «Математика и механика», «Компьютерные и информационные науки», «Информатика и вычислительная техника», «Информационная безопасность», «Управление в технических системах». Книга также будет полезна для преподавателей математики и компьютерных наук высших учебных заведений.