Математическая энциклопедия - типов теория
Связанные словари
Типов теория
типов теория
формальная теория 1-го порядка (см. Формальная система), один из вариантов к-рой простая теория типов описан ниже. Термин лТ. т.
Математическая энциклопедия. — М.: Советская энциклопедия
И. М. Виноградов
1977—1985
Рейтинг статьи:
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 548 | |
2 | 474 | |
3 | 471 | |
4 | 464 | |
5 | 448 | |
6 | 431 | |
7 | 430 | |
8 | 425 | |
9 | 417 | |
10 | 416 | |
11 | 415 | |
12 | 405 | |
13 | 397 | |
14 | 370 | |
15 | 367 | |
16 | 362 | |
17 | 357 | |
18 | 356 | |
19 | 356 | |
20 | 355 |