mirror of
https://github.com/bpmbpm/doc.git
synced 2026-10-19 07:34:31 +00:00
Update all_1.md
This commit is contained in:
parent
63fa334455
commit
102081e4ab
1 changed files with 4 additions and 0 deletions
|
|
@ -1,4 +1,8 @@
|
|||
## 1
|
||||
### list
|
||||
Альфред Тарский
|
||||
- https://bfometr.ru/blog/metayazyk-tarskogo
|
||||
- https://khazarzar.skeptik.net/books/tarski01.htm Семантическая концепция истины и основания семантики
|
||||
|
||||
Сразу оговорюсь: единой «лестницы» тут нет — разные формализмы решают разные задачи, и их часто не выстраивают в жёсткую иерархию, а скорее рассматривают как инструменты разного уровня абстракции. Я подобрала схему, которая показывает эволюцию и взаимосвязь, а потом разберу каждый пункт. [```4```](https://ru.ruwiki.ru/wiki/%D0%9F%D1%80%D0%B5%D0%B4%D1%81%D1%82%D0%B0%D0%B2%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5_%D0%B7%D0%BD%D0%B0%D0%BD%D0%B8%D0%B9)[```5```](https://valery.vykhovanets.ru/Texts/2022/Vykhovanets2022_s1.pdf)
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue