г. Москва, Московская область
Лань Курс математической логики и теории вычислимости. Учебное пособие Герасимов Александр Сергеевич

Лань Курс математической логики и теории вычислимости. Учебное пособие Герасимов Александр Сергеевич

цена 1 377 руб.
Перейти в интернет-магазин
купить в магазине My-shop.ru г. Москва
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства • Рассмотрены основные формальные аксиоматические теории: элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова, лямбда-исчисление, частично рекурсивные функции) и доказана неразрешимость ряда проблем, среди которых проблема остановки машин Тьюринга, проблема равенства для полугрупп, проблемы общезначимости и выводимости для исчисления предикатов подробнее
Смотрите также
Излагаются основы энергоменеджмента в сельском хозяйстве как многофункционального процесса с учетом ценологических и агротехнологических условий производства. Содержит теоретические основы энергоменеджмента и практикум для лучшего усвоения на реальных примерах. Даны основы и примеры энергетического анализа различных отраслей производства сельскохозяйственной продукции. Приведены компьютерные программы практических работ для энергетического анализа • Предназначено для студентов аграрных вузов, обучающихся по направлению «Агроинженерия» (магистры и аспиранты). Можно использовать при образовательной подготовке и повышении квалификации энергоаудиторов для проведения энергетических обследований в сельском хозяйстве
My-shop.ru г. Москва
2 812 руб.
В настоящем учебном пособии помещены работы, посвященные исследованиям в области фрактальной геометрии, находящей в настоящее время многочисленные приложения — в физике, экономике, педагогике, нанотехнологиях и других областях. Особое внимание автор уделяет методике изучения фрактальной геометрии и разработке многоэтапных математико-информационных заданий, выполнение которых нацелено на развитие креативности и компетентности обучаемых. В книге особое место уделено построению множеств Жюлиа на комплексной плоскости и построению на вещественной плоскости дерева Фейгенбаума, имеющего фрактальную структуру. Достаточно подробно описаны алгоритмы построения фрактальных множеств с помощью аффинных преобразований и L-систем, а также описаны компьютерные технологии создания художественных композиций и приведены примеры композиций, созданных автором и его учениками
My-shop.ru г. Москва
1 260 руб.
Изучаются некоторые аспекты теоретического материала, посвященного основным вопросам, рассматриваемым в рамках дисциплины «Игровая логика». Рассматриваются основные понятия и определения, связанные с игровым искусственным интеллектом. Приведены базовые алгоритмы и произведен подробный разбор их работы • В перечень тем входят алгоритмы передвижения, преследования и уклонения. Различные способы поиска пути, алгоритм А*. Способы использования конечных автоматов для игрового проекта • Пособие предназначено для изучения дисциплины «Игровая логика», направления подготовки «Информационные системы и технологии» по программе «Компьютерный дизайн и геймификация». Материалы пособия также могут быть использованы студентами, магистрантами и аспирантами других инженерно-технических направлений и специальностей, желающими самостоятельно изучить вопросы создания игровой логики
My-shop.ru г. Москва
460 руб.
Изучаются некоторые аспекты теоретического материала, посвященного основным вопросам, рассматриваемым в рамках дисциплины «Игровая логика». Рассматриваются основные понятия и определения, связанные с игровым искусственным интеллектом. Приведены базовые алгоритмы и произведен подробный разбор их работы. В перечень тем входят алгоритмы передвижения, преследования и уклонения. Различные способы поиска пути, алгоритм А*. Способы использования конечных автоматов для игрового проекта • Соответствует современным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным квалификационным требованиям • Пособие предназначено для изучения дисциплины «Игровая логика» для обучающихся в колледжах по образовательным программам среднего профессионального образования
My-shop.ru г. Москва
460 руб.
Учебное пособие полностью охватывает программу по теории чисел, а также содержит дополнительный материал, который может быть использован при организации работы спецсеминаров и в качестве основы для курсовых работ по теории чисел • Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих теорию чисел
My-shop.ru г. Москва
1 737 руб.
В первых разделах учебного пособия рассмотрены основы теории множеств, элементы математической логики, теория графов. Основная часть пособия посвящена наиболее эффективным методам оптимизации, основам линейного и нелинейного программирования, динамическому программированию, сетевым методам, элементам теории игр. Для поиска экстремумов функции одной переменной предлагается использовать метод дихотомии, золотого сечения, метод Фибоначчи, а также методы более высокого порядка: Ньютона, касательных и секущих. При поиске экстремумов функции многих переменных рассматриваются метод покоординатного спуска и методы первого порядка: градиентный метод с переменным шагом, метод Ньютона и наискорейшего спуска. Изложен алгоритм решения задач линейного программирования симплекс-методом, приводится также геометрический метод их решения
My-shop.ru г. Москва
819 руб.
Учебное пособие содержит методы и модели экономической динамики, т.е. той части экономической теории, которая устанавливает причины изменений в экономике, основываясь на количественных оценках. Изложенный в книге материал описывает математические методы исследования линейных и нелинейных уравнений, анализ влияния временных лагов, задачи идентификации и прогнозирования. Учебное пособие предназначено для студентов, обучающихся по направлению «Прикладная математика», а также для экономистов, биологов и социологов
My-shop.ru г. Москва
1 304 руб.
Учебное пособие подготовлено в соответствии с программой курса «Информационные системы в издательском деле». В пособии приводятся основные теоретические сведения по информационным системам в издательском деле, системам электронного документооборота (СЭД), информационным системам для обработки изображений, а также предлагается методика для самостоятельного выполнения контрольных работ. Учебный материал предназначен для студентов, обучающихся по программе подготовки академических бакалавров, направления подготовки «Издательское дело» и «Журналистика». Все материалы и темы самостоятельных и контрольных работ могут быть использованы при дистанционном обучении студентов в качестве электронных обучающих ресурсов (ЭОР). Учебное пособие может быть использовано для студентов, проходящих обучение по программе подготовки специалистов и магистров
My-shop.ru г. Москва
1 508 руб.
Учебное пособие посвящено вопросам, касающимся болезней животных, обусловленных анаэробными бактериями. В книге приведена характеристика патогенных клостридий, фузобактерий, дихелобактера и бактероидов, а также сведения, характеризующие эпизоотологические особенности, механизм развития, клиническое и патологоанатомическое проявление, диагностику и меры, связанные с профилактикой и ликвидацией болезней, которые они вызывают • Издание предназначено для студентов средних образовательных учреждений, обучающихся по специальности «Ветеринария»
My-shop.ru г. Москва
1 678 руб.
Учебное пособие содержит сведения, необходимые для формирования профессиональных компетенций при подготовке бакалавров по направлению «Агроинженерия», и рекомендуется Научно-методическим советом по технологиям, средствам механизации и энергетическому оборудованию в сельском хозяйстве Федерального УМО по сельскому, лесному и рыбному хозяйству для использования в учебном процессе • Учебное пособие предназначено для выполнения курсового проекта по дисциплине «Технология ремонта машин» и выпускной квалификационной работы для студентов, обучающихся по направлению подготовки «Агроинженерия» профиль «Технический сервис в АПК». Учебное пособие может быть полезно инженерно-техническим работникам предприятий АПК различных форм собственности
My-shop.ru г. Москва
1 739 руб.
Учебное пособие соответствует содержанию цикла дисциплин «Военная подготовка». Содержит характеристику вооруженных сил РФ и зарубежных государств, основные сведения по вопросам подготовки, организации и ведения современного общевойскового боя, основы военной связи и инженерного обеспечения, входящих в состав учебной дисциплины «Общая тактика» • Предназначено для студентов высших учебных заведении обучающихся по направлениям подготовки бакалавров «Техносферная безопасность». Также может быть использовано для подготовки студентов других технических направлении и специализации высшего профессионального образования — «Системный анализ и управление», «Техническая физика», «Прикладная механика» и др., где преподается дисциплина «Общая тактика»
My-shop.ru г. Москва
1 692 руб.
Учебное пособие преследует цель закрепления у студентов начальных сведений о командном языке операционных систем мобильных мультимедиа систем и устройств • Учебное пособие «Системное программное обеспечение информационных мобильных устройств и систем» подготовлено для обучающихся средних профессиональных учреждений по направлению «Информатика и вычислительная техника», а также может быть полезным при подготовке студентов по образовательным программам среднего профессионального образования специальностей «Автоматические системы управления» и «Автоматизация технологических процессов и производств»
My-shop.ru г. Москва
650 руб.
Compare-Price.ru - сравнение цен интернет-магазинов. Просто выбрать. Легко купить.