Все словари     Target-Multimedia  
 
 
 
 01
 02
 03
 04
 05

Энциклопедический словарь :: И

 «  
истр  |  исф  |  ит  |  италь  |  ите  |  иу
  » 

ИСФАРА город (с 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 м. Почти весь год покрыт льдом. На берегу - г. Баренцбург.

ИСХОД ("Книга исхода") вторая книга Пятикнижия.

ИСЧЕРПЫВАНИЯ МЕТОД метод доказательства, применявшийся математиками древности при нахождении площадей и объемов.

ИСЧИСЛЕНИЕ знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы (интерпретация исчислений), преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления.  

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ раздел математической логики, аксиоматическое построение логики высказываний.

ИСЧИСЛЕНИЕ КЛАССОВ раздел математической логики, логика классов, представленная (построенная) как исчисление; примерно соответствует силлогистике Аристотеля.

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов.  

 «  
истр  |  исф  |  ит  |  италь  |  ите  |  иу
  » 
 
 

    Словарь русского языка
Copyright © Target-Multimedia, 2008-2012. Все права защищены.
   
Страница сгенерирована за: 0.01262 секунд. Кэширование включено. Сервер 2.