промежуточная логика
1ПРОМЕЖУТОЧНАЯ ЛОГИКА — высказываний произвольное непротиворечивое множество пропозициональных формул, замкнутое относительно правила вывода модус поненс и правила подстановки и содержащее все аксиомы интуиционистского исчисления высказываний I. Наиболее естественным… …
2ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ — исчисление высказываний, логическое исчисление, в к ром выводимыми объектами являются пропозициональные формулы. Каждое П. и. задается набором аксиом (произвольных пропозициональных формул) и вывода правил. Формула, выводимая в данном П. и., наз …
3СХОЛАСТИКА — (лат. scholastica, от греч. scholastikos школьный, ученый) тип религиозной философии, характеризующийся принципиальным подчинением примату теологии, соединением догматических предпосылок с рационалистической методикой и особым интересом к… …
4Соционика — П Необходимо освещение с ра …
6Горький, Максим — псевдоним знаменитого писателя Алексея Максимовича Пешкова (см.). {Брокгауз} Горький, Максим (наст. фам. Пешков, Алексей Максим.), известный беллетрист, р. 14 марта 1869 в Нижн. Новгороде, с. обойщика, подмастерье малярного цеха. {Венгеров} … …
7СХОЛАСТИКА — (греч. schola ученая беседа, школа и лат. scholastica ученый) интеллектуальный феномен средневековой и постсредневековой европейской культуры в рамках теолого философской традиции, ставивший своей целью рациональное обоснование и систематическую… …
8СХОЛАСТИКА — (греч. schola ученая беседа, школа и лат. scholaslica ученый) интеллектуальный феномен средневековой и постсредневековой европейской культуры в рамках теолого философской традиции, ставивший своей целью рациональное обоснование и систематическую… …
9СХОЛАСТИКА — (греч. schola ученая беседа, школа и лат. scholastica ученый) интеллектуальный феномен средневековой и постсредневековой европейской культуры в рамках теолого философской традиции, ставивший своей целью рациональное обоснование и систематическую… …
10ГОСТ Р 50304-92: Системы для сопряжения радиоэлектронных средств интерфейсные. Термины и определения — Терминология ГОСТ Р 50304 92: Системы для сопряжения радиоэлектронных средств интерфейсные. Термины и определения оригинал документа: 75 абонент интерфейса: Радиоэлектронное средство, подключенное к интерфейсу для выдачи или приема информации… …
Словарь-справочник терминов нормативно-технической документации