книга Элементы математической логики

А Б В Г Д Е Ж З И К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я
0-9 A B C D I F G H IJ K L M N O P Q R S TU V WX Y Z #


Элементы математической логики

скачать Элементы математической логики бесплатно
Название: Элементы математической логики
Автор: Новиков П.С.
Страниц: 400
Формат: DJVU
Размер: 6,77 Мб
Качество: Нормальное
Язык: Русский
Год издания: 1973


Предлагается доступное изложение основ математической логики, излагаются классические исчисления высказываний и предикатов, а также формальная система арифметики.Затрагиваются различные вопросы, относящиеся к основаниям математики. Книга предназначена для лиц, впервые знакомящихся с математической логикой, и не требует от читателя никакой специальной подготовки. Последняя глава, посвященная элементарному доказательству непротиворечивости некоторой ограниченной части классической арифметики методом автора, может представлять интерес и для специалистов.

Краткое содержание
Введение
Глава I. Алгебра высказываний
Глава II. Исчисление высказываний
Глава III. Логика предикатов
Глава IV. Исчисление предикатов
Глава V. Аксиоматическая арифметика
Глава VI. Элементы теории доказательства
Предметный указатель.


  [dfiles] [turbobit] [shareflare]




С этой книгой бесплатно скачивают:



1

 

 


Поделитесь ссылкой на книгу со своими друзьями:

HTML ссылка:


Ссылка для форумов:


Прямая ссылка:



Имя:*
E-Mail:
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent



Навигация по сайту


Читательские рекомендации

Информация