Исфара (в верхнем течении — Аксу, в среднем течении — Каравшин), река в Киргизской ССР, Таджикской ССР и Узбекской ССР. Длина 130 км, площадь бассейна 3240 км2. Берёт начало из ледников Туркестанского хребта; по выходе в Ферганскую долину образует обширный конус выноса. В устье соединяется с Большим Ферганским каналом. Питание ледниково-снеговое. За июль—сентябрь проходит 60% годового стока. Воды И. полностью разбираются для орошения. На реке — г. Исфара.
Исход, вторая книга Пятикнижия.
Исчисление высказываний, исчисление суждений, раздел математической логики, в котором формально-аксиоматическим методом изучаются сложные (составные) высказывания, составленные из простых (элементарных, не анализируемых) высказываний с помощью логических связок «и», «или», «если..., то» и «неверно, что». При этом ставится цель охарактеризовать общезначимые в том или ином смысле высказывательные формы, т. е. те формулы, которые при любой подстановке высказываний вместо переменных дают высказывания, верные в соответствующем смысле.
Исчисление предикатов, раздел математической логики — совокупность логико-математических исчислений, формализующих те разделы современной логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно-предикатной структуры предложений) правила оперирования с кванторами. См. Высказывание, Логика предикатов.
Большая Советская Энциклопедия М.: "Советская энциклопедия", 1969-1978.
Итабирит => Итака (остров)Итабирит., Итабуна., Итагаки Тайсукэ., Итака (остров)., ...
Итака (пос. гор. типа в Читинской обл.) => Итальянский райграсИтака (пос. гор. типа в Читинской обл.)., Итаконовая кислота., Итальянский райграс., ...
Итальянское просо => ИтатскийИтальянское просо., Итами., Итапекуру., Итатиая., Итатка., Итатский., ...