математика

Математическая логика и теория алгоритмов, Анкудинов Г.И., Анкудинов И.Г., Петухов О.А., 2013

Математическая логика и теория алгоритмов, Анкудинов Г.И., Анкудинов И.Г., Петухов О.А., 2013.

Учебное пособие соответствует государственному образовательному стандарту дисциплины "Математическая логика и теория алгоритмов" направления подготовки дипломированных специалистов 654600 — "Информатика и вычислительная техника" (Специальность 220100 — ""Вычислительные машины, комплексы, системы и сети") и направления подготовки бакалавров 552800 — ""Информатика и вычислительная техника ".
В пособии излагаются разделы математической логики и теории алгоритмов, необходимые для освоения общепрофессиональных и специальных дисциплин специальности 220100. Достаточно подробно изложены основы логики высказываний и логики предикатов, включая приложение логики предикатов к доказательству правильности алгоритмов. Пособие содержит вводный материал по логическому программированию и клаузальной логике, а также основные понятия нечеткой и модальной логики. Приведены основы теории алгоритмов и алгоритмической разрешимости, доказательство эквивалентности моделей алгоритмов Тьюринга и рекурсивных схем Клини. Пособие содержит также введение в теорию эффективной вычислимости, переборных NP-нолных и NP-трудных задач.

1.7. Формальные теории и исчисление высказываний.
Формальная теория это
а) Множество правильно построенных формул (ППФ), или выражений, определяющих язык теории.
б) Подмножество формул множества ППФ, называемых аксиомами теории.
в) Правила вывода, т.е. конечное множество отношений между формулами.
Доказательством называется конечная последовательность
формул Ф, такая, что каждая Ф есть либо аксиома, либо
получена из предыдущих формул по одному из правил вывода.

Математическая логика и теория алгоритмов, Анкудинов Г.И., Анкудинов И.Г., Петухов О.А., 2013

Скачать и читать Математическая логика и теория алгоритмов, Анкудинов Г.И., Анкудинов И.Г., Петухов О.А., 2013
 

Математика. Учебное пособие, Алексеев Г.В., Холявин И.И., 2007

Математика. Учебное пособие, Алексеев Г.В., Холявин И.И., 2007.

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

Фрагмент из книги.
3. Произведение матриц. Транспонированные матрицы. Произведение матриц - это специфическая операция, составляющая основу алгебры матриц. Она определена, когда число столбцов первой матрицы равно числу строк второй.

Математика. Учебное пособие, Алексеев Г.В., Холявин И.И., 2007

Скачать и читать Математика. Учебное пособие, Алексеев Г.В., Холявин И.И., 2007
 

Математическая статистика, Практическое руководство, Боярович Ю.С., Дудовская Ю.Е., 2012

Математическая статистика, Практическое руководство, Боярович Ю.С., Дудовская Ю.Е., 2012.

  В практическом руководстве изложены теоретические основы математической статистики. В издание включены следующие разделы: первичная обработка статистических данных, статистические оценки неизвестных параметров распределения, интервальные оценки неизвестных параметров распределения, проверка параметрических гипотез, гипотезы и критерии согласия, однофакторный дисперсионный анализ, корреляционный и регрессионный анализ. В каждом из разделов представлены решения типовых задач.
Предназначено для студентов специальностей 1-31 03 03-01 «Прикладная математика (научно-производственная деятельность)», 1-31 03 03-02 «Прикладная математика (научно-педагогическая деятельность)».

Математическая статистика, Практическое руководство, Боярович Ю.С., Дудовская Ю.Е., 2012
Скачать и читать Математическая статистика, Практическое руководство, Боярович Ю.С., Дудовская Ю.Е., 2012
 

Автоматическое образование гипотез, Математические основы общей теории, Гаек П., Гавранек Т., 1984

Автоматическое образование гипотез, Математические основы общей теории, Гаек П., Гавранек Т., 1984.

  Проблематика книги связана с известным вопросом искусственного интеллекта: "может ли машина мыслить? ", который понимается авторами как вопрос: "может ли машина формулировать и проверять гипотезы? ". Книга содержит две части: "логика индукции" и "логика открытия".
В книге рассматриваются нестандартные логические исчисления с обобщенными кванторами в смысле А. Мостовского (в том числе многозначные исчисления), которые применяются для формализации рациональных индуктивных выводов и для построения логических основ вычислительной статистики. В книге излагается метод автоматического образования гипотез и исследуются вопросы вычислительной сложности рассматриваемых процедур.
Книга предназначена для специалистов по искусственному интеллекту, программированию, математической логике, а также для философов, интересующихся проблемами индукции.

Автоматическое образование гипотез, Математические основы общей теории, Гаек П., Гавранек Т., 1984
Скачать и читать Автоматическое образование гипотез, Математические основы общей теории, Гаек П., Гавранек Т., 1984
 

Математика, Подготовка к ЕГЭ-2015, Книга 1, Лысенко Ф.Ф., Кулабухова С.Ю., 2014

Математика, Подготовка к ЕГЭ-2015, Книга 1, Лысенко Ф.Ф., Кулабухова С.Ю., 2014.

  Учебно-методическое пособие предназначено для подготовки к ЕГЭ-2015 по математике. Проект впервые состоит из двух книг. Книга 1 содержит необходимый материал для фундаментальной подготовки к ЕГЭ по математике:
• 20 новых авторских учебно-тренировочных тестов, составленных по актуальной спецификации ЕГЭ с учётом опыта экзамена 2014 года;
• задачник (около 1600 задач), предназначенный для детальной отработки разных видов тестовых заданий;
• краткий теоретический справочник.
Книга позволит выпускникам и абитуриентам, не обращаясь к дополнительной литературе, получить на ЕГЭ желаемый результат — от минимального количества баллов, необходимого для сдачи экзамена, до максимально возможного, практически до 100 баллов.
Издание адресовано выпускникам общеобразовательных учреждений, учителям, методистам.

Математика, Подготовка к ЕГЭ-2015, Книга 1, Лысенко Ф.Ф., Кулабухова С.Ю., 2014
Скачать и читать Математика, Подготовка к ЕГЭ-2015, Книга 1, Лысенко Ф.Ф., Кулабухова С.Ю., 2014
 

Математическая логика, Глухов М.М., 1981

Математическая логика, Глухов М.М., 1981.

  Данное учебное пособие состоит из введения и семи глав. Во введении приводятся краткие исторические сведения о развитии математической логики, о причинах, стимулирующих ее развитие, и о вкладе советских ученых в разработку проблем математической логики и ее приложений.

Математическая логика, Глухов М.М., 1981
Скачать и читать Математическая логика, Глухов М.М., 1981
 

Введение в вычислительную математику, Рябенький В.С., 2000

Введение в вычислительную математику, Рябенький В.С., 2000.

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

Введение в вычислительную математику, Рябенький В.С., 2000
Скачать и читать Введение в вычислительную математику, Рябенький В.С., 2000
   
Показана страница 129 из 621