Главная  Энциклопедии  Словари  Добавить в Избранное



Исфара (река в Ср. Азии) => Исчисление предикатов

Исфара (река в Ср. Азии)

Исфара (в верхнем течении — Аксу, в среднем течении — Каравшин), река в Киргизской ССР, Таджикской ССР и Узбекской ССР. Длина 130 км, площадь бассейна 3240 км2. Берёт начало из ледников Туркестанского хребта; по выходе в Ферганскую долину образует обширный конус выноса. В устье соединяется с Большим Ферганским каналом. Питание ледниково-снеговое. За июль—сентябрь проходит 60% годового стока. Воды И. полностью разбираются для орошения. На реке — г. Исфара.

Исход

Исход, вторая книга Пятикнижия.

Исчисление высказываний

Исчисление высказываний, исчисление суждений, раздел математической логики, в котором формально-аксиоматическим методом изучаются сложные (составные) высказывания, составленные из простых (элементарных, не анализируемых) высказываний с помощью логических связок «и», «или», «если..., то» и «неверно, что». При этом ставится цель охарактеризовать общезначимые в том или ином смысле высказывательные формы, т. е. те формулы, которые при любой подстановке высказываний вместо переменных дают высказывания, верные в соответствующем смысле.

Исчисление предикатов

Исчисление предикатов, раздел математической логики — совокупность логико-математических исчислений, формализующих те разделы современной логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно-предикатной структуры предложений) правила оперирования с кванторами. См. Высказывание, Логика предикатов.

Большая Советская Энциклопедия М.: "Советская энциклопедия", 1969-1978.

Читайте также в БСЭ :

Итабирит => Итака (остров)
Итабирит., Итабуна., Итагаки Тайсукэ., Итака (остров)., ...

Итака (пос. гор. типа в Читинской обл.) => Итальянский райграс
Итака (пос. гор. типа в Читинской обл.)., Итаконовая кислота., Итальянский райграс., ...

Итальянское просо => Итатский
Итальянское просо., Итами., Итапекуру., Итатиая., Итатка., Итатский., ...





Энциклопедии и словари на ALCALA.RU 2005-2011 год. - Значение слова в Бесплатных онлайн словарях - справочниках
Все тексты выложены на сайте для не коммерческого использования и взяты из открытых источников.
При использовании материалов сайта активная ссылка на ALCALA.RU обязательна!!
Все права на тексты принадлежат только их правообладателям!!