kategóriák
- Közlekedés ajánlójegyzék
- Szocreál ajánlójegyzék
- Reklám ajánlójegyzék
- Fotó ajánlójegyzék
- Kínai-japán ajánlójegyzék
- Szentkép ajánlójegyzék
Új árakkal! - Új szentkép ajánlójegyzék II.
- 12 érdekes régiség
- Könyv
- Logikai feladványok
- Gyermeknevelés
- Albumok
- Barlangászat
- Bányászat
- Bestseller
- Bibliográfia
- Divat, divattörténet
- Egyéb
- Erotika
- Esszé, tanulmány
- Etológia
- Ezotéria
- Életrajz
- Fantasy
- Filozófia
- Földrajz
- Gasztronómia
- Hegymászás
- Hobbi
- Humor
- Idegennyelvű könyvek
- Ifjúsági- és gyermekirodalom
- Informatika
- Irodalomtörténet
- Ismeretterjesztő
- Jog
- Kalendárium, naptár
- Kertészet
- Képregény
- Kézimunka, hímzés
- Klasszika-filológia
- Kommunikáció
- Könyvtörténet, nyomdászat
- Közgazdaság
- Kriminalisztika
- Lexikon, Kézikönyv
- Ló, lovaglás
- Média
- Méhészet
- Militária, kitüntetés
- Minikönyv
- Művészet
- Néprajz
- Filatélia, numizmatika
- Nyelvészet
- Orientalisztika
- Orvosi
- Pedagógia
- Pszichológia
- Politika
- Régészet
- Régi ponyva
- Retorika
- Reklám
- Sci-fi
- Sport
- Szépirodalom
- Szociálpszichológia
- Szociológia
- Szórakoztató irodalom
- Szótár, Nyelvkönyv
- Társadalomtudomány
- Technika
- Térképészet
- Természettudomány
- Töredékek
- Történelem
- Újság, Folyóirat
- Vadászat
- Vallás
- Bibliofilia
- Régiség
- Metszet
- Térkép
- Fotó
- Papírrégiség, Aprónyomtatvány
- Plakát
- Cirkusz
- Modern grafika
- Szocreál
- NER Irodalom
- Egyéb
kosár
üres a kosár
nincs bejelentkezve
Сикорский Р. - Расёва Е. : Математика мета-математики.
- leírás
- további adatok
Серия: Математическая логика и основания математики.
Название этой книги - вовсе не каламбур, как это может показаться на первый взгляд.Метаматематика - это теория, изучающая формализованные математические теории. Формализованная теория - это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и термами, и множество некоторых простых операций, производимых над этими последовательностями. Формулы и термы, получаемые с помощью нескольких простых правил, служат заменой для предложении и функций интуитивной математической теории. Операции над формулами соответствуют элементарным шагам дедукции в математических рассуждениях. Формулы, соответствующие аксиомам интуитивной теории, играют особую роль - они являются аксиомами формализованной теории. Формулы, которые могут быть выведены из аксиом посредством принятых операции, соответствуют теоремам теории. В 1-й части даются все необходимые сведения из алгебры и топологии. От читателей требуется только знание основных понятий теории множеств. Краткое содержание: Часть I: Решетки. (Предварительные сведения из топологии, алгебры и теории решеток. Булевы алгебры. Топологические булевы алгебры. Псевдобулевы алгебры). Часть II: Классическая логика (Формализованные математич. теории. Алгебра формализованных языков. Классические пропозициональные исчисления. Классические элементарные формализованные теории). Часть III: Неклассические логики (Интуиционистские пропозициональные исчисления. Интуиционистские элементарные формализованные теории. Позитивная логика и модальная логика). Прим. переводчика. Библиография. Список символов. Именной и предметный указатели.
állapot: | |
kategória: | Könyv > Természettudomány > Matematika, Fizika, Csillagászat > |
kategória: | Könyv > Idegennyelvű könyvek > Orosz nyelvű > |
kiadó: | Наука, 1972. Mockва, |
cikkszám / ISBN: | 0056562 |
kötés: | kötve/egészvászon (kiadói, eredeti védőborítóban) |
oldalszám: | 591 |
könyv nyelve: | orosz |