ⓘ Онлайн энциклопедия. Вы знали? стр. 468

Бесплатно и без рекламы
не нужно скачивать или устанавливать

Pino - логическая онлайн игра, в основе которой находится тактика и стратегия. Это ремикс на шахматы, шашки и уголки. Игра развивает воображение, концентрацию внимания, учит решать поставленные задачи, планировать свои действия и логически мыслить. Не важно сколько у вас фишек, главное как они размещены!

интеллектуальная игра онлайн →
                                               

Тьюрмиты

В информатике Тьюрмит - это машина Тьюринга, которая имеет ориентацию в пространстве, текущее состояние и "ленту", состоящую из бесконечного двухмерного массива ячеек. Примерами тьюрмитов могут служить муравей Лэнгтона, определённый на ячейках кв ...

                                               

Управляющие символы

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

                                               

Условие Фано

Условие Фано - в теории кодирования - достаточное условие построения самотерминирующегося кода. Обычная формулировка этого условия выглядит так: Никакое кодовое слово не может быть началом другого кодового слова. Более "математическая" формулиров ...

                                               

Формальная верификация

Формальная верификация или формальное доказательство - формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из-за ру ...

                                               

Формальная спецификация

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

                                               

Функциональная совместимость

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

                                               

Хелм, Ричард

Ричард Хелм - учёный, один из четырех авторов классической книги "Design Patterns" о шаблонах проектирования программного обеспечения. Коллектив авторов также известен как "Группа четырех". Получил докторскую степень по информатике в Университете ...

                                               

Целостность информации

Целостность информации - термин в информатике, означающий, что данные не были изменены при выполнении какой-либо операции над ними, будь то передача, хранение или отображение. В телекоммуникации целостность данных часто проверяют, используя хеш-с ...

                                               

Цифровой идентификатор объекта

Цифровой идентификатор объекта - стандарт ISO 26324:2012 обозначения представленной в сети информации об объекте. Фактически, DOI является ссылкой на постоянное местонахождение объекта или информации о нём в Интернет. DOI может быть присвоен любо ...

                                               

Эмуляция

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

                                               

Языково-ориентированное программирование

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

                                               

CAM

CAM - автоматизированная система, либо модуль автоматизированной системы, предназначенный для подготовки управляющих программ для станков с ЧПУ. Под термином понимаются как сам процесс компьютеризированной подготовки производства, так и программн ...

                                               

GIGO

GIGO - принцип в информатике, означающий, что при неверных входящих данных будут получены неверные результаты, даже если сам по себе алгоритм правилен. Это слово в русском языке практически не используется, в отличие от FIFO. В русскоязычной куль ...

                                               

INRIA

INRIA - национальный исследовательский институт во Франции, работающий в области компьютерных наук, теории управления и прикладной математики. Создан в 1967 в Роканкур рядом с Парижем в рамках государственной программы Plan Calcul. INRIA является ...

                                               

ISA-95

ISA-95, или ANSI/ISA-95, - международный стандарт для разработки интерфейса между предприятиями и управляющими системами. Этот стандарт был разработан для применения во всех видах производства, для всех видов процессов - например - непрерывных ил ...

                                               

Linked data

Linked Data - в информатике это коллекция взаимосвязанных наборов данных во Всемирной паутине. Под этим термином может также пониматься описание методов публикования связанных между собой структурированных данных. Данные методы базируются на стан ...

                                               

N-грамма

N-грамма - последовательность из n элементов. С семантической точки зрения, это может быть последовательность звуков, слогов, слов или букв. На практике чаще встречается N-грамма как ряд слов, устойчивые словосочетания называют коллокацией. После ...

                                               

Round-robin (алгоритм)

Round-robin - алгоритм распределения нагрузки распределённой вычислительной системы методом перебора и упорядочения её элементов по круговому циклу.

                                               

Логика

Логика - раздел философии, нормативная наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых на логическом языке. Поскольку новое знание получают посредством разума, логика также определяется как наука о фо ...

                                               

Абсурд

Абсурд - нечто алогичное, нелепое, противоречащее здравому смыслу. Приведение чего-либо к абсурду означает доказать бессмысленность какого-либо положения тем, что логически развивая это положение, в итоге приходят к нелепости, которая явно вскрыв ...

                                               

Адвокат дьявола

Адвокат дьявола - неофициальное название одной из должностей института беатификации и канонизации католической церкви. Также адвокат дьявола - идиома, обозначающая того, кто при обсуждении некоего вопроса сознательно занимает отрицательную, проти ...

                                               

Аксиома Вольфрама

Аксиома Вольфрама является результатом исследований, осуществлённых Стивеном Вольфрамом при поиске кратчайшей аксиомы из одного уравнения, эквивалентной аксиомам булевой алгебры. Результатом его поиска стала аксиома с шестью логическими операциям ...

                                               

Алогизм

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

                                               

Анализ (философия)

Анализ - в философии, в противоположность синтезу, анализом называют логический приём определения понятия, когда данное понятие раскладывают по признакам на составные части, чтобы таким образом сделать его познание ясным в полном его объёме. Анал ...

                                               

Аналитика

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

                                               

Аналогия

Аналогия - подобие, равенство отношений; сходство предметов, явлений, процессов, величин и т. п. в каких-либо свойствах, а также познание путём сравнения, например:

                                               

Антецедент

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

                                               

Антитезис

Антитезис в логике и философии - суждение, противопоставляемое тезису. При доказательстве от противного доказывание тезиса доказательства осуществляется через опровержение противоречащего ему антитезиса. Тезис и антитезис называются антитетически ...

                                               

Аргумент (логика)

Аргумент - логическая посылка, используемая отдельно или в совокупности с другими с целью доказательства истинности определённого утверждения - тезиса. Чтобы тезис можно было считать истинным, все аргументы должны содержать в себе истинную информ ...

                                               

Бритва Оккама

Бритва Оккама - методологический принцип, в кратком виде гласящий: "Не следует множить сущее без необходимости". Этот принцип получил название от имени английского монаха-францисканца, философа-номиналиста Уильяма из Оккама англ. William of Ockha ...

                                               

Бритва Хэнлона

Бритва Хэнлона - презумпция, согласно которой при поисках причин неприятных событий должны прежде всего предполагаться человеческие ошибки, и лишь во вторую очередь - чьи-то сознательные злонамеренные действия. Обычно выражается фразой: "Никогда ...

                                               

Буриданов осёл

Буриданов осёл - философский парадокс, названный по имени Жана Буридана, несмотря на то, что был известен ещё из трудов Аристотеля, где был поставлен вопрос: как осёл, которому предоставлены два одинаково соблазнительных угощения, может всё-таки ...

                                               

Вопрос

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

                                               

Выборочное представление фактов

Выборочное представление фактов, избирательный подход, выборочное цитирование или черри-пикинг - логическая ошибка, состоящая в указании на отдельные случаи либо данные, подтверждающие определённое положение, при игнорировании значительной части ...

                                               

Вывод (рассуждение)

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

                                               

Высказывание (логика)

Высказывание в математической логике - предложение, выражающее суждение. Если суждение, составляющее содержание некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказыва ...

                                               

Гиперэвристика

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

                                               

Гомеоскоп

Гомеоскоп - это одна из пяти так называемых "интеллектуальных машин" С. Н. Корсакова - классифицирующее логическое устройство, которое было предложено в 1832 году для автоматизации сравнения идей.

                                               

Дважды два — пять

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

                                               

Дедуктивное умозаключение

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

                                               

Деление понятий

Деление понятий - это логическая операция, посредством которой объем делимого понятия распределяется по объемам новых понятий, каждое из которых представляет частный случай исходного понятия. Например, расчёты делятся на наличные и безналичные. П ...

                                               

Деонтическая логика

Деонтическая логика - раздел модальной логики. Оперирует понятиями: обязательство, разрешение, норма. "Ты обязан это сделать" "Твой долг это сделать" либо "Ты можешь это сделать" Эти понятия пытались внедрить достаточно давно, но значительный рез ...

                                               

Дерево Порфирия

Дерево Порфирия, или Древо Порфирия - графическая древовидная структура, с помощью которой можно показать шаги последовательного дедуктивного дихотомического деления понятий от высших к низшим. Своё название схема получила в честь Порфирия 232/23 ...

                                               

Диаграмма Эйлера

Диаграммы Эйлера - геометрическая схема, с помощью которой можно изобразить отношения между подмножествами, для наглядного представления. Первое их использование приписывают Леонарду Эйлеру. Используется в математике, логике, менеджменте и других ...

                                               

Дискуссия

Дискуссия - обсуждение спорного вопроса, проблемы; разновидность спора, направленного на достижение истины и использующего только корректные приёмы ведения спора. Важной характеристикой дискуссии, отличающей её от других видов спора, является арг ...

                                               

Дихотомия

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

                                               

Доведение до абсурда

Доведение до абсурда, или апагогия, - логический приём, которым доказывается несостоятельность какого-нибудь мнения таким образом, что или в нём самом, или же в вытекающих из него следствиях обнаруживается противоречие. Частным случаем доведения ...

                                               

Доказательство (логика)

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

                                               

ДСМ-метод

ДСМ-метод - метод автоматического порождения гипотез. Формализует схему правдоподобного и достоверного вывода, называемую ДСМ-рассуждением. ДСМ-рассуждение является синтезом познавательных процедур: индукции, аналогии и абдукции. ДСМ-метод был со ...

                                               

Задача выбора Уэйсона

Задача выбора Уэйсона - логическая задача, придуманная Питером Уэйсоном в 1966 году и широко известная в психологии. Популярный вариант задачи формулируется так: Перед вами на столе лежат четыре карты, каждая из которых имеет число с одной сторон ...

                                               

Задачи о рыцарях и лжецах

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

                                               

Заключение (логика)

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

                                               

Закон достаточного основания

Закон достаточного основания - принцип, согласно которому каждое осмысленное выражение может считаться достоверным только в том случае, если оно было доказано, то есть были приведены достаточные основания, в силу которых его можно считать истинны ...

                                               

Закон обратного отношения между содержанием и объёмом понятия

Закон обратного отношения между объёмом и содержанием понятия - закон формальной логики о зависимости между изменениями объёма и содержания понятия. Если первое понятие шире второго по объёму, то оно беднее его по содержанию; если же первое понят ...

                                               

Закон противоречия

Закон противоречия - закон логики, который гласит, что два несовместимых суждения не могут быть одновременно истинными. По крайней мере одно из них ложно. Математическая запись в виде тождественно ложной формулы: P ∧ ¬ P {\displaystyle P\wedge \n ...

                                               

Законы деления

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

                                               

Индуктивное умозаключение

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

                                               

Интуиционизм

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

                                               

Карта аргументов

Карта аргументов - метод структуризации и визуальное представление структуры дискуссии, с использованием графической записи в виде диаграммы.

                                               

Карта Карно

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

                                               

Квантовая логика

Квантовая логика - раздел логики, необходимый для рассуждения о предложениях, которые учитывают принципы квантовой теории. Эта область исследований была основана в 1936 году работой Гарита Бирхофа и Джона фон Неймана, которые пытались примирить о ...

                                               

Классическая логика

Классическая логика - термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы исчисления высказываний, в том числе закон исключения третьего. Нек ...

                                               

Консеквент

Следствие - используемое в философии и логике в учении о суждениях, заключениях и доказательствах понятие, означающее следствие в отношении к причине - антецеденту. В условном высказывании "если A {\displaystyle A}, то B {\displaystyle B}" высказ ...

                                               

Контрарность

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

                                               

Контринтуитивность

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

                                               

Кореферентность

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

                                               

Крейг, Уильям

Профессор Уильям Крейг, PhD - американский философ, математик, всемирно известный логик. Ученик американского философа и логика, профессора Гарварда, Уилларда Ван Ормана Куайна. В 1957 году доказал теорему интерполяции Крейга, названную в его чес ...

                                               

Критика

Критика - анализ, оценка о явлениях какой-либо области человеческой деятельности. Задачами критики являются: выявление противоречий; разбор анализ, обсуждение чего-либо с целью дать оценку например, литературная критика; выявление ошибок и их раз ...

                                               

Критическое мышление

Критическое мышление - система суждений, которая используется для анализа вещей и событий с формулированием обоснованных выводов и позволяет выносить обоснованные оценки, интерпретации, а также корректно применять полученные результаты к ситуация ...

                                               

Линейная частичная информация

Теория линейной частичной информации, применяемая для принятия решений на основании нечёткой логики при неполной или неаккуратной доступной информации. Швейцарский математик Эдуард Кофлер изобрёл эту теорию в 1970 году.

                                               

Логики с векторной семантикой

Логики с векторной семантикой - класс логик, в которых истинность суждения a {\displaystyle a} формализуется вектором с произвольным числом компонентов: ‖ a ‖ = ⟨ a 1, a 2., a n ⟩ {\displaystyle \|a\|=\langle a^{1},a^{2}.,a^{n}\rangle }, где a i ∈ }.

                                               

Логическая вероятность

Логическая вероятность - логическое отношение между двумя предложениями, степень подтверждения гипотезы H свидетельством E. Понятие логической вероятности является одной из интерпретаций понятия вероятности наряду с частотной вероятностью и субъе ...

                                               

Логическая ошибка

Логическая ошибка - в логике, философии и прочих науках, изучающих познание, ошибка, связанная с нарушением логической правильности умозаключений. Ошибочность обусловлена каким-либо логическим недочётом в доказательстве, что делает доказательство ...

                                               

Логическая семантика

Логическая семантика - "Философский термин" - - раздел логики, в котором изучаются отношения языковых символов к обозначаемым ими объектам и выражаемому ими содержанию.

                                               

Логический квадрат

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

                                               

Металогика

Металогика - изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем. К области ...

                                               

Метод Куайна

Метод Куайна - способ представления функции в ДНФ или КНФ с минимальным количеством членов и минимальным набором переменных. Преобразование функции можно разделить на два этапа: на втором этапе - переход от сокращённой формы к минимальной форме. ...

                                               

Методы изобретательского творчества

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

                                               

Модус (лингвистика)

Модус - часть высказывания, отличная от пропозиции. В каждом предложении есть два типа номинативных значений: пропозиция и модус. В пропозиции выражается суждение, а в модусе - отношение говорящего к данному суждению. Ср., например, Я знаю, что о ...

                                               

Неконструктивное доказательство

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

                                               

Неформальная логика

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

                                               

Нонсенс

Нонсенс - высказывание, лишённое смысла или само отсутствие смысла, бессмыслица. Разновидность алогизма или логической ошибки. Термин "нонсенс" очень близок по смыслу к термину абсурд. Поскольку логически бессмысленные высказывания например, само ...

                                               

Нормальная форма (математика)

Достаточно часто задача приведения к нормальной форме решается алгоритмически, а нормальная форма в классе эквивалентности единственна; в таком случае вопрос об эквивалентности объектов оказывается алгоритмически разрешимым путём сравнения нормал ...

                                               

Обобщение понятий

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

                                               

Общее знание

Общее знание имеет место в ситуации, когда каждому индивиду из некоторой группы известно о наступлении некого события, о наличии этого знания у других представителей группы, о наличии знания о наличии знания и так далее ad infinitum. Концепция об ...

                                               

Общезначимость

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

                                               

Ограничение понятий

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

                                               

Ответ

Ответ - реплика, вызванная заданным вопросом или реакция на какое-либо событие. Вопросом может быть часть диалога или задания. Ответ может быть кратким или полным. Как правило, ожидается, что ответ будет адекватен заданному вопросу. Идеальный отв ...

                                               

Парадокс

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

                                               

Парадокс воронов

Парадокс воронов, известный также как парадокс Гемпеля или вороны Гемпеля - парадокс подтверждения, сформулированный немецким математиком Карлом Густавом Гемпелем в 1940-х годах, для иллюстрации того, что индуктивная логика иногда входит в против ...

                                               

Парадокс импликации

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

                                               

Парадокс Кэрролла

Двухчастная инвенция Льюиса Кэрролла - логический парадокс в форме диалога, описанный Кэрроллом в 1895 году.

                                               

Парадокс неожиданной казни

Парадокс неожиданной казни - логический парадокс, также известный как парадокс узника, а в других формулировках как парадокс неожиданной тревоги и парадокс с яйцом-сюрпризом. Впервые сформулирован и опубликован в июле 1948 года философом Эксетерс ...

                                               

Парадокс пьяницы

Парадокс пьяницы - утверждение, которое утверждает что в любом кабаке существует по крайней мере один такой человек, что если он пьёт, то пьют все. Это утверждение, сформулированное в формальной логике, оказывается верным.

                                               

Перевёрнутая A

Ɐ, ɐ - буква расширенной латиницы. Она не используется ни в одном алфавите натуральных языков как отдельная буква. Строчная ɐ используется в международном фонетическом алфавите для обозначения ненапряжённого неогублённого гласного среднего ряда н ...

                                               

По умолчанию

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

                                               

Полемика

Полемика - разновидность спора, для утверждения своей точки зрения по обсуждаемому вопросу в политической, философской, литературной или художественной сферах. Другими разновидностями спора являются прения и дискуссия. Наряду с дискуссией полемик ...

                                               

Полилогизм

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

                                               

Посылка (логика)

Посылка - это утверждение, предназначенное для обоснования или объяснения некоторого аргумента. В логике аргумент - это множество предложений одни из которых являются посылками, а другие утвердительные предложения - логическими выводами. Аристоте ...

                                               

Поток (интуиционизм)

Поток M {\displaystyle M} определяется как совокупность двух законов Λ M {\displaystyle \Lambda _{M}} и Γ M {\displaystyle \Gamma _{M}}, называемых законом потока и дополнительным законом, соответственно. Закон потока Λ M {\displaystyle \Lambda _ ...

Этот сайт использует куки. Файлы cookie запоминают вас, поэтому мы можем предоставить вам лучший опыт в Интернете.
preloader close
preloader