Математическая логика: Рабочая учебная программа дисциплины
Ильиных А.П.
Курс математической логики для студентов математических специальностей педагогических вузов имеет своей целью изложить основы этой науки, познакомить студентов с формализованным аксиоматическим методом построения математических теорий, охватывающим также и логические средства; его основными составными частями: языком, аксиомами, правилами вывода; проблемами непротиворечивости, полноты, разрешимости теорий. Приведены пояснительная записка, учебно-тематический план, содержание дисциплины, организация самостоятельной работы и контрольно-оценочной деятельности, учебно-методическое и информационное обеспечение программы. Программа разработана на кафедре алгебры и теории чисел УрГПУ. Электронная версия издания размещена на сайте математического факультета УрГПУ
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
