промежуточная полнота
1ПРОМЕЖУТОЧНАЯ ЛОГИКА — высказываний произвольное непротиворечивое множество пропозициональных формул, замкнутое относительно правила вывода модус поненс и правила подстановки и содержащее все аксиомы интуиционистского исчисления высказываний I. Наиболее естественным… …
2ДУША — [греч. ψυχή], вместе с телом образует состав человека (см. статьи Дихотомизм, Антропология), будучи при этом самостоятельным началом; Д. человека заключает образ Божий (по мнению одних отцов Церкви; по мнению других образ Божий заключен во всем… …
3СХОЛАСТИКА — (лат. scholastica, от греч. scholastikos школьный, ученый) тип религиозной философии, характеризующийся принципиальным подчинением примату теологии, соединением догматических предпосылок с рационалистической методикой и особым интересом к… …
4Международные стандарты финансовой отчётности — (МСФО) Международные стандарты бухгалтерского учета (МСБУ), список действующих в настоящее время стандартов Применение международных стандартов финансовой отчётности в различных странах, IFRS, IAS Содержание Содержание Раздел 1. Применение и… …
5Петр I Алексеевич Великий — первый император всероссийский; родился 30 мая 1672 года от второго брака царя Алексея Михайловича с Натальей Кирилловной Нарышкиной, воспитанницей боярина А. С. Матвеева. Вопреки легендарным рассказам Крекшина, обучение малолетнего П. шло… …
6Железные дороги — I I. История развития железных дорог. Ж. дорога, в том виде, в каком она существует теперь, изобретена не сразу. Три элемента, ее составляющие, рельсовый путь, перевозочные средства и двигательная сила прошли каждый отдельную стадию развития,… …
7ЗВУКА ВОСПРОИЗВЕДЕНИЕ И ЗАПИСЬ — воспроизведение натуральных звучаний электромеханическими средствами и сохранение их в форме, позволяющей восстанавливать их с максимальной верностью оригиналу. Более подробная информация о физических принципах, лежащих в основе затрагиваемых… …
8Крепление скважин — (a. well lining; н. Bohrlochverrohrung; ф. cuvelage, tubage; и. entibacion de pozos, entubado, entubado de pozos) процесс укрепления стенок буровых скважин обсадными трубами и тампонажным раствором. Наиболее распространено K. c.… …
9Троцкий, Лев Давидович — Возможно, эта статья или раздел требует сокращения. Сократите объём текста в соответствии с рекомендациями правил о взвешенности изложения и размере статей. Дополнительные сведения могут быть на странице обсуждения …
10Деперсонализация — опыт лиминальности как метафизический опыт свободы. Человек является носителем свободы духовного начала, не врожденного генетически, добытийного и сверхбытийного, открывающегося в небытие. Именно эта открытость небытию и отличает человека от… …
- 1
- 2