Глоссарий





Новости переводов

26 апреля, 2024

Можно ли использовать изображения из Интернета для публикации в журнале?

25 апреля, 2024

Подготовка к локализации сайта

23 апреля, 2024

Копирайтинг в переводах

19 апреля, 2024

Переводы в мебельном производстве

18 апреля, 2024

Вариации английского языка в разных странах мира. Часть 4

18 апреля, 2024

Редактирование текста с целью его улучшения

18 апреля, 2024

На сайт бюро переводов добавлен глоссарий химических терминов



Глоссарии и словари бюро переводов Фларус

Поиск в глоссариях:  

Классов исчисление

Глоссарий по философии
    – см. логистика.




Исчисление, русский
  1. – см. логистика.

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

  3. Формальная система, задаваемая четверкой <т,в,а,р>, где т - множество базовых символов исчисления; в - синтаксические правила, с помощью которых из элементов т порождаются произвольные элементы; а - множество априорно истинных элементов исчисления (аксиомы исчисления); р - множество семантических правил (правил вывода), с помощью которых из одних элементов системы порождаются другие.

  4. Основанный на четких правилах формальный аппарат оперирования сознаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого клас


Исчисление бесконечно малых величин, русский
    (франц. calcul infinitesimal) – вычисления, производимые с бесконечно малыми величинами, при которых производный результат рассматривается как бесконечная сумма бесконечно малых. исчисление бесконечно малых величин является общим понятием для дифференциальных и интегральных исчислений, составляющих основу современной высшей математики.


Исчисление высказываний, русский
    , раздел математической логики, аксиоматическое построение логики высказываний.


Исчисление генцена, русский
    Исчисление, в котором аксиомы задаются в виде секвенций.


Исчисление классов, русский
    , раздел математической логики, логика классов, представленная (построенная) как исчисление; примерно соответствует силлогистике аристотеля.


Исчисление логическое, русский
  1. Объект изучения в математической логике, в основе которого лежит понятие формальной системы. в искусственном интеллекте используются различные и.л.: исчисления предикатов, пропозициональное исчисление, исчисление классов, исчисление отношений, многосортные и многозначные логики и т.п.

  2. Исчисление, символы и правила которого могут быть интерпретированы в терминах логики.


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


Исчисление пошлин и налогов, русский
    Определение суммы пошлин и налогов, подлежащих уплате


Исчисление предикатов, русский
  1. , раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов.

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


Исчисление предикатов первого порядка, русский
    Исчисление предикатов, в котором под знаком квантора не могут находиться символы предикатов. (см. также квантор общности, квантор существования.)


Исчисление пропозициональное, русский
    Формальная система, базовыми элементами которой являются высказывания - нерасчлененные предложения, относительно которых в каждый данный момент можно утверждать, что они являются либо абсолютно истинными, либо абсолютно ложными. и.п. изучает связи между этими высказываниями, которые задаются логическими связками: отрицанием, дизъюнкцией, конъюнкцией, импликацией и др. и.п. является аксиоматической системой, и для классического и.п. все аксиомы являются тождественно истинными высказываниями, а правила вывода не меняют этого свойства. с помощью и.п. порождаются все тождественно истинные высказывания и только они.


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


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


Исчисление сроков наказаний и зачет наказания, русский
    Для точного исчисления сроков наказаний ст. 72 ук предусмотрены специальные правила. наказания, установленные на определенный срок, исчисляются в единицах времени. к таким наказаниям относятся: лишение права занимать определенные должности или заниматься определенной деятельностью, обязательные работы, исправительные работы, ограничение по военной службе, ограничение свободы, арест, содержание в дисциплинарной воинской части и лишение свободы. все они, за исключением обязательных работ, исчисляются в годах и месяцах, а при замене, сложении и зачете этих видов наказания - в днях (сутках). обязательные работы исчисляются в часах. время содержания лица под стражей до судебного разбирательства и вынесения приговора засчитывается в сроки наказаний, назначенных судом. в зависимости от вида наказания зачет осуществляется по-разному. в срок лишения свободы, содержания в дисциплинарной воинской части и ареста это время засчитывается из расчета день за день. в срок наказания в виде ограничения свободы - день за 2 дня; в срок исправительных работ и ограничения по военной службе - день за 3 дня: в срок обязательных работ - день содержания под стражей за 8 ч обязательных работ. такое соотношение отражает сравнительную тяжесть видов наказания. время содержания лица под стражей до вступления приговора в законную силу засчитывается в срок любого из перечисленных выше "срочных" видов наказания из расчета день за день. из такого же расчета (день за день) засчитывается время отбытия лишения свободы, назначенного приговором суда за преступление, совершенное вне пределов рф, в случае выдачи преступника.


Исчисление;, русский

Исчисленные ресурсы, русский

Класс, русский
  1. Множество объектов с общей структурой и поведением. термины «класс» и «тип» в большинстве случаев (но не всегда) взаимозаменяемы. понятие класса отличается от понятия типа тем, что концентрируется на классификации по структуре и поведению.

  2. ~ np класс np (класс математических задач, которые могут быть решены за полиномиальное время на недетерминированной машине тьюринга)

  3. Класс , комната, разряд, сословие

  4. Большая социальная группа, отличающаяся отноше-нием к средствам производства, имущественным, политическим положением в обществе.

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

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

  7. (от лат . classis - разряд, группа), одна из высших таксономических категорий (рангов) в систематике животных и растений. в классы (иногда - сначала в подклассы) объединяют родственные отряды (животных) или порядки (растений). напр., отряды грызунов, насекомоядных, хищных и т. д. составляют класс млекопитающих. классы, имеющие общий план строения и общих предков, образуют типы (животных) или отделы (растений).

  8. Термин, используемый в теории распределений частот. общее число наблюдений определенной переменной можно сгруппировать в соответствии с удобным делением диапазона значений, чтобы качество жизни 102 сделать последующий анализ менее трудоемким, или по другим причинам. группа, выделенная по такому признаку, называется классом. значения, которые обозначают верхний и нижний пределы класса, называются границами класса, интервал между ними называется интервалом класса, а частота попадания переменной в тот или иной класс — частотой класса. cм. также набор.

  9. Учебное помещение, являющееся основной планировочной структурной единицей школы


Класс, русский

Класс (год в школе), русский

Класс i, русский

Класс ii, русский

Клауберг, русский
    (clauberg) иоганн (род. 24 февр. 1622, золинген – ум. 31 янв. 1665, дуйсбург) – нем. философ, один из первых нем. картезианцев. своим соч. «metaphysica di entesive ontosophia» (1656) заложил основы онтологии как учения о предметном бытии. оказал сильное влияние на христиана вольфа.


Кларк, русский
  1. (clarke) сэмюэль (род. 11 okt. 1675, норидж – ум. 17 мая 1729, лестер) – англ, философ, занимавшийся проблемами морали, с 1707- – пастор в лондоне; друг ньютона, философское учение которого он защищал в своей переписке с лейбницем; выступал против материализма и атеизма. основой этики кларк считал определяемое природой место, которое занимает в мире человек. осн. произв. – «the unchangeable obligation of natural religion and truth», 1706.

  2. (clark) , американские оптики-шлифовальщики и астрономы-любители: отец алван (1804-87) и сыновья джордж (1827-91), алван грэм (1832-97). изготовили объективы для крупнейших в мире рефракторов пулковской, ликской, йеркской и других обсерваторий. открыли несколько двойных звезд, спутник сириуса.

  3. (clarke) александер росс (1828-1914) , английский геодезист, иностранный член-корреспондент петербургской ан (1867). под руководством кларка определены (1866) размеры земного эллипсоида, принятого в сша, канаде и мексике.

  4. (clark) джон бейтс (1847-1938) , американский экономист. основоположник теории предельной производительности.

  5. (clarke) остин (1896-1974) , ирландский поэт. стихи на сюжеты ирландского эпоса и из современной жизни. сборники "мщение финна" (1917), "древние огни" (1955), "эхо в куле" (1968), стихотворные драмы.

  6. (сlarke) самюэль (1675-1729) , английский философ, англиканский богослов; придворный проповедник. друг и ученик и. ньютона, в переписке с лейбницем противопоставил его концепции ньютоновские понятия абсолютного времени и абсолютного пространства.

  7. Среднее относительное содержание химического элемента в земной коре, на какой-либо планете, на солнце, в космическом про-странстве и т.д.; выражается в массовых или атомных процентах.