Математическая логика и теория алгоритмов. Алехина М.А.

UptoLike

Математическая логика и теория алгоритмов. Алехина М.А.

РЕШЕНИЕ (файл) вывод, красное-белое: 

Читать

ВУЗ: 

ПГУ | Пенза

Дисциплина: 

ПГУ | Пенза - Математика

Составители: 

Формат файла: 

PDF

Ключевые слова: 

  • учебная программа

Год: 

  • 2005

Количество страниц: 

9
Источник файла
Рабочая программа учебной дисциплины подготовлена на кафедре дискретной математики ПГУ. Целью пpеподавания дисциплины является: обучить студентов построению формальных логических моделей и применению этих моделей в математике и приложениях, пpивить студентам навыки решения логических задач математическими методами, заложить понимание формальных основ логики и выработать у студентов достаточный уровень логической интуиции, необходимой для формализации содержательных логических задач.

Рекомендуемые учебно-методические материалы

Математическая логика и теория алгоритмов. Алехина М.А.
Просмотреть (PDF)
Алехина М.А.
Алехина М.А. Математическая логика и теория алгоритмов: Рабочая программа дисциплины по специальности 090105 - Комплексное обеспечение информационной безопасности автоматизированных систем. - Пенза: Пенз. гос. ун-т, 2005. - 9 с.
Теория вычислительных процессов и структур. Селиверстов М.Н.
Просмотреть (PDF)
Селиверстов М.Н.
Селиверстов М.Н. Теория вычислительных процессов и структур: Рабочая программа дисциплины по специальности 351500 "Математическое обеспечение и администрирование информационных систем". - Пенза: Пенз. гос. ун-т, 2002. - 10 с.
Математическая логика. Алехина М.А.
Просмотреть (PDF)
Алехина М.А.
Алехина М.А. Математическая логика: Рабочая программа дисциплины по подготовке специалиста по направлению 010100 - математика. - Пенза: Пенз. гос. ун-т, 2005. - 10 с.
Вычислительная математика. Селиверстов М.Н.
Просмотреть (PDF)
Селиверстов М.Н.
Селиверстов М.Н. Вычислительная математика: Рабочая программа дисциплины для специальностей 220300 "Системы автоматизированного проектирования", 351500 "Математическое обеспечение и администрирование информационных систем". - Пенза: Пенз. гос. ун-т, 2003. - 8 с.
Методы оптимизации. Шереметьева Е.Г.
Просмотреть (PDF)
Шереметьева Е.Г.
Шереметьева Е.Г. Методы оптимизации: Рабочая программа дисциплины для специальности 351500 "Математическое обеспечение и администрирование информационных систем". - Пенза: Пенз. гос. ун-т, 2002. - 7 с.
Дифференциальная геометрия. Романова Е.Г.
Просмотреть (PDF)
Романова Е.Г.
Романова Е.Г. Дифференциальная геометрия: Краткий конспект лекций. - Пенза: Пензенский гос. ун-т, 2009. - 37 с.
Высшая математика. Ч.1. Семёнова Т.В.
Просмотреть (PDF)
Семёнова Т.В.
Семёнова Т.В. Высшая математика: учебное пособие для студентов технических вузов. Часть 1. - Пенза: Пензенский гос. ун-т, 2008. - 190 с.
Учебное пособие по высшей математике для студентов заочной формы обучения. Романова Л.Д
Просмотреть (PDF)
Романова Л.Д., Ланцова В.А., Романова Е.Г., Шаркунова Т.А.
Учебное пособие предназначено для студентов всех форм заочного обучения Пензенского государственного университета, может быть использовано студентами дневного отделения для самостоятельной работы.
Геометрические преобразования в примерах и задачах. Дорофеев С.Н.
Просмотреть (PDF)
Дорофеев С.Н.
Дорофеев С.Н. Геометрические преобразования в примерах и задачах: Учебное пособие. - Пенза: Информационно-издательский центр ПГУ, 2006. - 189 c.
Краткий курс евклидовой дифференциальной геометрии. Долгарев А.И.
Просмотреть (PDF)
Долгарев А.И.
Долгарев А.И. Краткий курс евклидовой дифференциальной геометрии: Учебное пособие. - Пенза, Пензенский государственный университет, 2005. - 112с.
Высшая математика. Ч.2. Семёнова Т.В.
Просмотреть (PDF)
Семёнова Т.В.
Семёнова Т.В. Высшая математика: учебное пособие для студентов технических вузов. Часть 2. - Пенза: Пензенский гос. ун-т, 2008. - 98 с.
Обработка экспериментальных данных. Роганов В.Р
Просмотреть (PDF)
Роганов В.Р., Роганова С.М., Новосельцева М.Е.
Роганов В.Р., Роганова С.М., Новосельцева М.Е. Обработка экспериментальных данных: Учебное пособие. - Пенза: Пенз. гос. ун-т, 2007. - 171 с.
Контрольные задания по высшей математике и методические указания к их выполнению
Просмотреть (PDF)
Романова Л.Д., Романова Е.Г., Ланцова В.А.
Романова Л.Д., Романова Е.Г., Ланцова В.А. Контрольные задания по высшей математике и методические указания к их выполнению: Учебное пособие. Часть 1. - Пенза: Пензенский гос. ун-т, 2009. - 94 с.
Элементы математической теории поля. Логинов А.Ю
Просмотреть (PDF)
Логинов А.Ю., Тында А.Н.
Логинов А.Ю., Тында А.Н. Элементы математической теории поля: Методические указания. - Пенза: Пенз. гос. ун-т, 2004. - 43 с.
Контрольные задания по высшей математике и методические указания к их выполнению. Романова Л.Д
Просмотреть (PDF)
Романова Л.Д., Ланцова В.А., Романова Е.Г.
Романова Л.Д., Ланцова В.А., Романова Е.Г. Контрольные задания по высшей математике и методические указания к их выполнению: Учебное пособие. Часть II. - Пенза: Изд-во Пенз. гос. ун-та, 2009. - 84 с.
Кратные, криволинейные и поверхностные интегралы. Логинов А.Ю
Просмотреть (PDF)
Логинов А.Ю., Мойко Н.В.
Логинов А.Ю., Мойко Н.В. Кратные, криволинейные и поверхностные интегралы: Учебное пособие. - Пенза: Пенз. гос. ун-т, 2008. - 130 с.
Высшая математика. Семёнова Т.В.
Просмотреть (PDF)
Семёнова Т.В.
Семёнова Т.В. Высшая математика: учебное пособие для студентов технических вузов. Часть 3. - Пенза: Пензенский гос. ун-т, 2008. - 147 с.