др.). В 1928 слит с Институтом В. И. Ленина.
      ИСТР - древнегреческое название р. Дунай.
      ИСТРА (до 1930 Воскресенск) - город в Российской Федерации, Московская обл., на р. Истра. Железнодорожная станция. 35,8 тыс. жителей (1992). Отделения московских НИИ (электротехники, электромеханики, электротермического оборудования) с опытными производствами; НПО "Ветроэн" и др. Молочноконсервный комбинат; мебельная и швейная фабрики. Известен с 16 в. Ансамбль Воскресенского Новоиерусалимского монастыря (Воскресенский собор, выстроенный в 17 в. по плану храма Соломона в Иерусалиме; центр Рождества и Трехсвятительская, многочисленные палаты, стены и шатровые башни - все 17 в.; ансамбль сильно пострадал в 1941), на территории которого находится Московский областной краеведческий музей.
      ИСТРА - река в Московской обл., левый приток р. Москва. 113 км, площадь бассейна 2050 км2. Средний расход воды близ устья 11,3 м3/с. В верховьях - Истринское вдхр. (для водоснабжения Москвы). На Истре - г. Истра. Популярное место отдыха. Туризм.
      ИСТРАНДЖА (Istranca) (Странджа) - горы в Турции и Болгарии. Длина ок. 150 км, высота до 1030 м. Дубовые и буковые леса, вечнозеленые кустарники.
      ИСТРЕБИТЕЛЬ - боевой самолет для уничтожения самолетов и беспилотных средств противника. Современный истребитель - реактивный сверхзвуковой всепогодный самолет, имеет хорошую маневренность, большой практический потолок полета, мощное ракетное, стрелково-пушечное и бомбардировочное вооружение.
      ИСТРЕБИТЕЛЬ-БОМБАРДИРОВЩИК - реактивный сверхзвуковой боевой самолет фронтовой (тактической) авиации, сочетает качества истребителя и бомбардировщика; мощное вооружение.
      ИСТРЕБИТЕЛЬНАЯ АВИАЦИЯ - род. военной авиации; предназначен для поражения воздушных средств противника.
      ИСТРЕБИТЕЛЬНО-БОМБАРДИРОВОЧНАЯ АВИАЦИЯ - род военной авиации; предназначен для поражения воздушных и наземных средств противника. Имеет на вооружении реактивные сверхзвуковые истребители-бомбардировщики.
      ИСТРИН Виктор Александрович (1906-67) - российский книговед, доктор филологических наук, профессор. Труды: "Возникновение и развитие письма" (1965), "1100 лет славянской азбуки" (1963).
      ИСТРИНА Евгения Самсоновна (1883-1957) - российский языковед, член-корреспондент АН СССР (1943). Основные труды по истории русского языка, русскому литературному языку, методике его преподавания, русской лексикографии. Ленинская премия (1970, посмертно).
      ИСТРИЯ (Istria) - город в Вост. Румынии, на Черном м. Вблизи руины античного города (7 в. до н. э. - 7 в. н. э.). Остатки укреплений, храмов, жилых домов, терм и др.
      ИСТРИЯ (Истра) (Istria - Istra), полуостров в Хорватии, Словении и Италии, вдается в Адриатическое м. почти на 100 км. 3,7 тыс. км2. Высота до 1396 м. Известняковое плато, карст. Средиземноморская растительность. На Истрии - города Пула, Триест.
      ИСТРУ (Istru) Богдан ИСТ-ТЕКСАС (East Texas) - нефтяное месторождение в США. Входит в Мексиканского залива нефтегазоносный бассейн. Открыто в 1930. Залежи на глубине 0,9-1,1 км. Начальные запасы 792 млн. т. Плотность 0,79-0,86 г/см3, содержание S 0,32%. Центр добычи - г. Даллас.
      ИСТУКАН - языческий божок, идол, статуя. В переносном смысле - тупой, бесчувственный или равнодушный, бессердечный человек.
      ИСТУКАРИЙ (Стиракий) Севастийский (ум. ок. 320) - христианский мученик-воин, пострадавший в Севастии в гонение императора Лициния. Память в Православной церкви 3 (16) ноября.
      ИСФАРА - город (с 1952) в Таджикистане, Худжандская (бывшая Ленинабадская) обл., на р. Исфара. Железнодорожная станция. 35,5 тыс. жителей (1991). Заводы: гидрометаллургический, светотехнического оборудования, минеральных красок и др.; консервный, стройматериалов комбинаты. Историко-краеведческий музей. Известен с 16 в. Близ Исфары мечеть-намазго Абдуллахана (16 в.), остатки средневековой крепости Калаи-Боло, в селении Чорку мавзолей Хазрати-Баба (10-12 вв.).
      ИСФАХАН - город в Иране, административный центр остана Исфахан. 987 тыс. жителей (1986). Текстильная, пищевая, цементная, химическая промышленность. Металлургический завод. Университет. Старинный центр художественных ремесел и миниатюры. В кон. 16-18 вв. столица Ирана. Соборная мечеть (9-20 вв.), минареты 11-12 вв., мавзолеи 14-16 вв.; ансамбль площади Мейдани-Шах с мечетями 17 в. (Шахской, шейха Лотфоллы) и дворцом Али-Капу (15-17 вв.).
      ИСФАХАНИ - см. Абу-ль-Фарадж аль-Исфахани.
      ИСФАХАНСКАЯ ШКОЛА миниатюры - сформировалась на рубеже 16-17 вв. в Исфахане (Иран). Для Исфаханской школы характерны возникновение станковой миниатюры (на отдельных листах), преимущественное развитие виртуозного рисунка кистью, с легкой подцветкой (Реза Аббаси). С 1670-х гг. в произвольной Исфаханской школе проявилось влияние европейской живописи.
      ИС-ФЬОРД (Isfjord) - залив Гренландского м., у западных берегов о. Западный Шпицберген (Норвегия). Длина 92,5 км, ширина при входе 11 км, глубина более 200 м. Почти весь год покрыт льдом. На берегу - г. Баренцбург.
      ИСХОД ("Книга исхода") - вторая книга Пятикнижия.
      ИСЧЕРПЫВАНИЯ МЕТОД - метод доказательства, применявшийся математиками древности при нахождении площадей и объемов.
      ИСЧИСЛЕНИЕ - знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы (интерпретация исчислений), преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления.
      ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ - раздел математической логики, аксиоматическое построение логики высказываний.
      ИСЧИСЛЕНИЕ КЛАССОВ - раздел математической логики, логика классов, представленная (построенная) как исчисление; примерно соответствует силлогистике Аристотеля.
      ИСЧИСЛЕНИЕ ПРЕДИКАТОВ - раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие
     

Главная 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200