Математическая логика: Рабочая учебная программа дисциплины
Ильиных А.П.
Курс математической логики для студентов математических специальностей педагогических вузов имеет своей целью изложить основы этой науки, познакомить студентов с формализованным аксиоматическим методом построения математических теорий, охватывающим также и логические средства; его основными составными частями: языком, аксиомами, правилами вывода; проблемами непротиворечивости, полноты, разрешимости теорий. Приведены пояснительная записка, учебно-тематический план, содержание дисциплины, организация самостоятельной работы и контрольно-оценочной деятельности, учебно-методическое и информационное обеспечение программы. Программа разработана на кафедре алгебры и теории чисел УрГПУ. Электронная версия издания размещена на сайте математического факультета УрГПУ
Categorías:
Año:
2007
Idioma:
russian
Páginas:
8
Archivo:
PDF, 189 KB
IPFS:
,
russian, 2007
Litres
¿Quieres añadir una librería? Contáctanos a través de support@z-lib.fm
Convierte archivos
Más resultados de búsqueda
Otros beneficios 
![Таванец П.В. (ред.) — Исследование логических систем [сборник статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/b978416db4eb48a715030a076a584c13538f059725992fad72f8f04e4f467897.jpg)
Términos más frecuentes
Listas de libros relacionados
