Математическая логика: Рабочая учебная программа дисциплины
Book information
Description
Курс математической логики для студентов математических специальностей педагогических вузов имеет своей целью изложить основы этой науки, познакомить студентов с формализованным аксиоматическим методом построения математических теорий, охватывающим также и логические средства; его основными составными частями: языком, аксиомами, правилами вывода; проблемами непротиворечивости, полноты, разрешимости теорий. Приведены пояснительная записка, учебно-тематический план, содержание дисциплины, организация самостоятельной работы и контрольно-оценочной деятельности, учебно-методическое и информационное обеспечение программы. Программа разработана на кафедре алгебры и теории чисел УрГПУ. Электронная версия издания размещена на сайте математического факультета УрГПУ
Similar books
Числовые системы: Учебное пособие
2002 · PDF
Теория чисел: Учебное пособие
2003 · PDF
Теория алгоритмов: Учебное пособие
2006 · PDF
Теория алгоритмов: Рабочая учебная программа дисциплины
2007 · PDF
Математическая логика: Учебное пособие
2002 · PDF
Дискретная математика: Рабочая учебная программа дисциплины
2007 · PDF
Вводный курс математики: Учебное пособие
2006 · PDF
Методология научных исследований и прикладной аналитики: Учебник. Изд. 5-е, дополн. и перераб. В 2 т. Т.2: Научные исследования: Мастерство и искусство научного мышления и научной работы / Methodology of Scientific Research and Practical Analytics: A Textbook: Fifth Edition. In two volumes. Vol.2: Scientific research: Art of scientific thinking and scientific work / Méthodologie de la recherche scientifique et de l’analytique appliquée: Manuel: Cinquième édition. En 2 tomes. T.2: Recherches scientifiques: Art de la pensée scientifique et du travail scientifique
2025 · PDF