(от лат. implico - тесно связанный) логическая операция, образующая сложное высказывание из двух высказываний посредством логической связи, соответствующей союзу «если», «то».
В некоторых исчислениях (например, R) вводится импликация, близкая к обычному союзу «если … то …» и именуемая...
релевантной импликацией....
В других же (например, Е) вводимая импликация рассматривается как необходимая условная связь (в англоязычных...
Технически для фигурирующих в релевантной логике импликаций интенсиональность означает, что принципов...
, аналогичных известным парадоксам материальной импликации А → (В → А) и А → ( A → В), в релевантной
В статье анализируются понятия «импликация» и «инференция» в современной когнитивно-дискурсивной лингвистике. Импликация и инференция рассматриваются как когнитивные операции извлечения смысла в лингводидактических целях.
Она устанавливает связь между импликацией (логическим следованием) и доказательством в формальной системе...
Иными словами, теорема дедукции говорит нам о том, что если мы хотим доказать импликацию A → B, то мы...
Действительно, добавив к выводу из Г импликации A → B формулы A и B, получаем вывод В из Г U {A}....
Тогда вывод импликации включает три шага:
Ci;
Ci → (А → Сi) – по аксиоме, что истина может следовать...
Здесь символом → обозначена импликация, фигурирующая в языке Т.
This text is an attempt to systematize theoretical and mnemonic implications of the topos figure of memory. Theoretical frame of the text refers to some conceptions of Y.M. Lotman, R. Lachmann, I. Smirnov and D.O. Tolic. The subject of analysis are literary texts of three Macedonian authors: a cycle of poems about Marko Krale by Blaže Koneski, the novel Marko Krale by Slobodan Mickovik and the play Bolen Dojèin by Georgi Stalev. The purpose of their interpretation is to confirm the validity and functionality of the topos figure of memory in interpretative and theoretical sense.
как следует из названия данный метод предполагает применение компьютерных программ, с помощью которых создается глобальная модель организационной системы и на ее основе, с учетом необходимых параметров, — модель проекта организации.
означает укрупнение организаций в рамках определенной отрасли макроэкономики. Это была главная форма концентрации производства в эпоху свободной конкуренции и в первые десятилетия XX в.
универсальная система принципов и подходов к организации производственной и обеспечивающей деятельности (в первую очередь, материально-технического обеспечения, МТО), обеспечивающая минимизацию запасов и позволяющая в полной мере реализовать известный принцип «точно вовремя» (Just-in-time, JIT). Разработана и впервые применена на практике компанией "Toyota" в 60-х - начале 70-х гг. Суть канбан – обеспечение производственного подразделения материальными ресурсами только в количестве и только в сроки, необходимые и достаточные для обеспечения бесперебойного выполнения заявки подразделения-потребителя.
Наведи камеру телефона на QR-код — бот Автор24 откроется на вашем телефоне
