терм произведения
1Италия — I Италия (Italia) Итальянская Республика (La Repubblica Italiana). I. Общие сведения И. государство на юге Европы в центральной части Средиземноморья. Берега И. омываются морями: на З. Лигурийским и Тирренским, на Ю.… …
2Италия — I Италия (Italia) Итальянская Республика (La Repubblica Italiana). I. Общие сведения И. государство на юге Европы в центральной части Средиземноморья. Берега И. омываются морями: на З. Лигурийским и Тирренским, на Ю.… …
3Рим — столица Италии. Город находится на р. Тибр, древнейшее название которой Румо или Румон послужило основой для образования названия Рим (итал. Roma). Предполагается, что название реки связано с наименованием одного из племен этрусков древнего… …
4АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… …
5Coq — (фр. coq  петух)  интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… …
7Кухня Древнего Рима — «Розы Гелиогабала». Картина, иллюстрирующая рассказ «Истории августов» …
8Термы Каракаллы — Термы Каракаллы (лат. Thermae Antoninianae, итал. Terme di Caracalla) …
9Соответствие Карри — Соответствие Карри  Ховарда (изоморфизм Карри  Ховарда, англ. formulae as types interpretation)  наблюдаемая структурная эквивалентность между математическими доказательствами и программами. Эта эквивалентность может быть… …
10Римское искусство* — Римляне, отличавшиеся большим практическим смыслом в решении задач материальной жизни, умевшие создать у себя стройный склад гражданственности, утвердить свою военную силу и широко распространить свое политическое могущество, были лишь в слабой… …
