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

UptoLike

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

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

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

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

PDF

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

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

Год: 

  • 2005

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

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

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

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