Математическая логика: Рабочая учебная программа дисциплины
Ильиных А.П.
Курс математической логики для студентов математических специальностей педагогических вузов имеет своей целью изложить основы этой науки, познакомить студентов с формализованным аксиоматическим методом построения математических теорий, охватывающим также и логические средства; его основными составными частями: языком, аксиомами, правилами вывода; проблемами непротиворечивости, полноты, разрешимости теорий. Приведены пояснительная записка, учебно-тематический план, содержание дисциплины, организация самостоятельной работы и контрольно-оценочной деятельности, учебно-методическое и информационное обеспечение программы. Программа разработана на кафедре алгебры и теории чисел УрГПУ. Электронная версия издания размещена на сайте математического факультета УрГПУ
Catégories:
Année:
2007
Langue:
russian
Pages:
8
Fichier:
PDF, 189 KB
IPFS:
,
russian, 2007
Litres
Vous souhaitez ajouter une librairie ? Contactez-nous à support@z-lib.fm
Convertissez des fichiers
Plus de résultats de recherche
Autres avantages 
![Таванец П.В. (ред.) — Исследование логических систем [сборник статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/b978416db4eb48a715030a076a584c13538f059725992fad72f8f04e4f467897.jpg)
Mots Clefs
Les listes de livres associées
