deep-econom (deep_econom) wrote,
deep-econom
deep_econom

Category:

модель, интерпретация, формальная система, теория

модель, интерпретация, формальная система, формальная теория
можно доступно почитать тут почти не обращая внимания на формулы

---
формальные аксиоматические теории
http://mathhelpplanet.com/static.php?p=formalnyye-aksiomaticheskiye-teorii

Обоснование формализации
О формальных аксиоматических теориях
Понятие формальной аксиоматической теории
Язык и метаязык, теоремы и метатеоремы формальной теории
Интерпретации и модели формальной теории
Семантическая выводимость
Метаматематика (свойства формальных аксиоматических теорий)
Формализованное исчисление высказываний как формальная аксиоматическая теория
---

Классификация формул логики предикатов
http://mathhelpplanet.com/static.php?p=formuly-logiki-predikatov

ну и еще там вокруг можно мышкой пощелкать )

ps Что такое логика?
https://deep-econom.livejournal.com/29115.html
Tags: понимание
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 31 comments