Directory of Математическая логика Resources

Home > World > Russian > Наука > Математика > Математическая логика

Математическая логика — раздел математики, изучающий доказательства, исчисления (грубо говоря, то, где можно провести доказательство) и алгоритмы. Наиболее известные классические результаты логики:

• теорема Геделя о неполноте: даже в арифметике не все верные утверждения можно доказать;
• континуум-гипотеза недоказуема и неопровергаема.

Код по классификации ВИНИТИ: 510 .

Resources in This Category

• Заметки и замечания относительно ряда базовых принципов логической науки

  http://j-m-mamedov.narod.ru/russian/logic/logic_ru.htm
  Замечания по основным принципам логики, рассматриваются аксимомы и суждения логики.

• Математическая логика и теория алгоритмов

  http://lpcs.math.msu.su/~plisko/
  Курсы лекций (PDF) по математической логике и теории алгоритмов (мехмат МГУ).

Other Languages

• Английский
• Испанский
• Итальянский
• Немецкий
• Японский
• Польский
• Французский

 

Home > World > Russian > Наука > Математика > Математическая логика

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us