Введение в логику

Введение компьютер. Я предполагаю, что иногда должна использоваться четырехзначная логика. Следует подчеркнуть, что я употребляю слово логика в узком, старом его смысле логика как органон, средство, критерий вывода. Следует также учесть, что я употребляю слово должен в его прямом, нормативном значении. [c.208]

Тарский A. Введение в логику и методологию дедуктивных наук. ИЛ, 1948. [c.273]

Из этого надо сделать вывод и в преподавании, отказавшись ОТ) традиционной опоры на Женевскую систему нет необходимости изучать Женевские правила выбора главной цепи, определения порядка нумерации только для того, чтобы затем сказать, что сегодня все эти вопросы решаются по-другому. Общая же логика построения заместительного названия вполне может быть показана применительно к современным правилам ШРАС. При этом с самого начала необходимо подчеркнуть, что правила ШРАС—это не единая система номенклатуры, а свод разных употребляемых в настоящее время способов построения названий. Главные из этих способов — рациональная номенклатура (во введении к правилам ШРАС она названа радикало-функциональной) и заместительная номенклатура, являющаяся дальнейшим развитием Льежских правил 1930 г. [c.57]

Одной из задач нечеткой логики, как и любой другой математической логики, является вычисление истинности композиции высказываний А п В при условии, что истинности каждого высказывания Т (А) и Т (В) известны. Для этой цели в соответствии с введенными выше операциями над нечеткими подмножествами используют следующие правила [c.86]

Обратите внимание, каким парадоксальным путем идет этот синтез для того чтобы избирательно освободить гидроксил при С-6, мы начинаем с того, что его защищаем. И тем не менее конечная цель достигается весьма успешно. Пример характерен в двух отношениях во-первых, химия углеводов в части логики введения избирательных защит полна таких парадоксов, а во-вторых, использование избирательного тритилирования является общим (что редко в этой области) методом освобождения первичного гидроксила в сахарах. [c.124]

Поведение подчиняется не логике, а психологии, поэтому причины отказа, как и признания, непостижимы для ученого и приводят к ошибкам технического специалиста. Вполне вероятно, что введение растительных белков в известные пищевые продукты было необычным и порождало недоверие и даже отказ. Видимо, это отношение неоправданно, но последствия его оказались неблагоприятны для приемлемости. Отсутствие специфического наименования нового продукта препятствует формированию образа-воспоминания, вызывающего идентификацию. Общественности хорошо известен этот механизм, действующий на продукт. Зрительное или слуховое повторение вызывает более или менее неосознанную потребность, предрасполагающую к акту покупки, обходя проблему приемлемости. [c.670]

Критерий оптимизации S, смысл целевой функции и логика ее математического вывода остаются прежними, но структура критериального выражения усложняется за счет введения в него показателей финансового риска, цены кредита и относительного уровня использования заемного капитала. [c.534]

Изучал (1873) историю химии и читал лекции по истории органической химии. Высказал и обосновал ряд положений, относящихся к логике развития науки, в частности о научной истине, о соотношении гипотезы и теории, о включении рациональных идей устаревших теорий в новые теории. Написал Введение к полному изучению органической химии (1864)— первое в истории науки руководство, основанное на теории химического строения. Создал школу русских химиков, в которую входили В. В. Марковников, А. М. Зайцев, Е. Е. Вагнер, А. Е. Фаворский, И. Л. Кондаков и др. Активно боролся за признание Петербургской АН заслуг русских ученых. Был поборником высшего образования для женщин. Интересовался также вопросами сельского хозяйства занимался садовод- [c.89]

Такой путь определения величины т означает выбор более сложной модели, чем это имеет место в случае теплового расширения идеального газа. Следуя этой логике дальше, можно сказать, что не исключена необходимость введения различных шкал т в зависимости, например, от типа реакции и т. д. [c.53]

Существует еще одна немаловажная причина отклонений от приведенных выще зависимостей. В соответствии с логикой их введения и использования, все отмеченные выше параметры нуклеофильности и электрофильности должны характеризовать способность соответствующих реакционных центров к образованию акцепторно-донорных связей. Однако, кроме рассмотренных в этой главе, константы скорости и равновесия для реакций между нуклеофилами и электрофилами зависят также от других факторов. Основной из них — стерический эффект заместителей у электрофильного и нуклеофильного центров, давно известный на примере реакций гидролиза сложных эфиров. В разделе VI. 5 мы видели, что стерические эффекты могут быть существенны даже в случае атома водорода в качестве электрофильного центра, вблизи [c.293]

Здесь следует сказать о современных требованиях к отобранным справочным данным по свойствам веществ. Эти требования хорошо сформулированы во введении к одному из лучших термодинамических справочников [I] и состоят в следующем 1) критический анализ всех имеющихся данных 2) взаимная согласованность 3) использование рекомендованных международными организациями фундаментальных констант и ключевых величин 4) оценка достоверности 5) пояснение выбора величин 6) сопровождение данных исчерпывающей библиографией 7) широта и логика выбора объектов 8) возможность регулярного пополнения и уточнения данных. [c.3]

Зеркала как направляющие. Для того чтобы из вентилей создать схему, необходимо установить соответствующие взаимосвязи, т. е. в нужные моменты времени направлять шары от одного места столкновения к другому. В частности, поскольку мы рассматриваем двумерную систему, то необходимо обеспечить способ осуществлять пересечение сигналов. Всем этим требованиям можно удовлетворить введением зеркал. Как показано на рис. 18.2, заставляя шары сталкиваться с неподвижными зеркалами, можно легко отклонить в сторону траекторию шара, сдвинуть ее вбок, ввести произвольную задержку и обеспечить корректное пересечение (из рис. 18.2d видно, что сигналы пересекаются, хотя шары этого не делают). Конечно, не нужно никаких особых мер для тривиальных пересечений, когда логика или временная диаграмма таковы, что два шара одновременно не могут присутствовать в точке пересечения. [c.230]

В литературе высказано мнение, что налогообложение изначально несправедливо по отношению к конкретному налогоплательщику, поскольку предполагает изъятие части принадлежащего ему имущества. При этом из верной посылки о том, что понятие справедливости с позиции конкретного субъекта не всегда совпадает с понятием общественной справедливости, делается неверный вывод поскольку налоговые поступления обеспечивают исполнение государством публично-правовых функций, любой налог справедлив лишь по отношению к той части общества, которая эти функции выполняет (судьи, прокуроры, сотрудники правоохранительных органов, военнослужащие и др.), а также к той части общества, в интересах которой эти функции исполняются (то есть практически все пасе-ление). Такая логика, если развивать ее далее, приводит к абсурдному заключению все нормативно установленные обязанности и запреты, а тем более санкции, носят по отношению к своим адресатам несправедливый характер Думается, речь следует вести о различном понимании справедливости с позиций налогоплательщика и государства, но не о том, что налоговое обязательство по своей сущности изначально несправедливо . Разумеется, интересы отдельного лица и общества в целом могут не совпадать, даже противоречить друг другу. Задача налогового права - обеспечить баланс частных и публичных интересов. При этом справедливость в отношении конкретного налогоплательщика проявляется в строгом соблюдении государством общих и специальных принципов налогообложения при установлении, введении и взыскании налогов. [c.80]

Эротетическая логика находится на ранней стадии развития, и заслуга авторов данной книги состоит в попытке выделения формальной структуры, специфичной для вопросно-ответного отношения. В истории логики введение новой формальной структуры всегда играло исключительно важную роль, ибо логика — наука о формальных способах рассуждений и построения понятий (достаточно вспомнить Быдаюш,уюся роль Аристотеля, открывшего силлогизмы, и Д. Буля, сформулировавшего алгебру двузначной логики). [c.9]

В связи с тем, что авторы книги понимают эротетическую логику как грамматику и семантику вопросов, они развивают теорию вопросно-ответных отношений на базе описанного ими формального языка L и неформального метаязыка, в котором формулируются семантические характеристики вопросов и ответов. Однако возможны пути синтаксического определения различных вопросно-ответных предикатов в рамках формального метаязыка ML, содержащего L (с.м. прим. 3). Целесообразность изучения конструкций подобного рода вызвана тем, что корректное определение вопросов к информационным системам (и базам данных как их частному случаю) требует обогащения выразительной силы L (т. е. введения переменных новых сортов и специальных металогических предикатов). Весьма перспективным было бы такое определение вопросно-ответных предикатов в ML, которое бы допускало извлечение из них программ (см. в этой связи Непейвода H.H. [c.10]

Безусловно, что не все кванторы разности-пересечения выражают интересные для эротетической логики разновидности требований полноты. Так, легко заметить, что кванторы, предназначенные для различения градаций бесконечности, бесполезны. Не исключено, что из всего множества кванторов можно выделить естественное подмножество таких, которые выражают требования полноты, однако за неимением более определенной информации по этому вопросу мы ограничимся в дальнейшем только одним квантором и одной формой требования полноты — квантором общности, выражающим требование максимальной полноты. Еще одна причина введенного ограничения заключается в том, что наш базисный ассерторический язык обладает небольшими возможностями кванторного выражения, и поэтому для эротетических рассуждений лучше всего выбирать те кванторы, которые соответствуют возможностям базисного языка. [c.60]

Содержание-. Введение. Логическая структура. Вопросы и их классификация. Вопросы, формализуемые в рамках PIE. Вопросы, формализуемые в рамках QIE. Пресуппозиция интеррогатива и истинность. Проблема прямых ответов (PIE — пропозициональная императивно-эписте-мическая логика. QIE — кванторная императивно-эписте-мическая логика). [c.159]

Содержание Введение, Пропозициональная логика. Логика первого порядка. Теорема Эрбранда. Принцип резолюции. Семантическая и замкнутая резолюция. Линейная резолюция. Отношение тождества. Некоторые процедуры нахождения доказательства, опирающиеся на теорему Эрбрана. Программный анализ. Дедуктивный ответ на вопросы решение задач и программный синтез. Заключительные замечания. [c.196]

Если компьютер является классическим двузначным логиком, он должен полностью отказаться сообщать что-либо о ком-либо или, что то же, должен сказать все обо всех. Плодовитость противоречий в двузначной логике хорошо известна они никогда не проявляются изолированно, лока-лизованно, а заражают всю систему. Конечно, компьютер мог бы отказаться принимать противоречивую информацию. Однако, во-первых, это было бы нечестно либо по отношению к Элизабет, либо по отношению к Сэму, репутации которых являются, по предположению, почти безупречными, и, во-вторых, не секрет, что противоречия могут быть не столь явными. В системе может оказаться необнаруженное противоречие, или, что еще хуже, противоречие, которое остается невыявленным еще долгое время после того, как введенная информация, породившая данное противоречие, перемешалась с общей информацией, содержащейся в компьютере, и потеряла свои индивидуальные признаки. При этом все же хотелось бы, чтобы компьютер выдавал только такие заключения, которые порождают разумные ответы на наши вопросы. [c.210]

Во введении авторы отмечают, что эротетическая логика специфична не теорией дедукции, а семантикой и грамматикой в связи с этим мы хотим подчеркнуть тот факт, что синтаксическое определение вопросно-ответных предикатов Лш,- в метаязыке ML дает возможность эротетической логике иметь специфическую теорию дедукции, зависящую как от выразительной силы ML (наличие тех или иных сортов переменйых и соответствующих их иерархий), так и от собственных логических средств ML (т. е. выбора классической или некоторых неклассических логи <). [c.274]

Само собой разумеется, что табл. 4.2—4.4 не претендуют на исчерпывающую полноту, они содержат такие неопределенные fвыpaжeния, как их производные , или и так далее . Многообразие органической химии с неизбежностью диктует введение таких произвольных порядков определения старшинства. Большая точность потребовала бы использования алфавитного порядка или каких-либо форм компьютерной логики. Тем не менее просто удивительно, как редко на практике при составлении названий требуются более точные разграничения. [c.84]

Специфика объектов химической технологии как ФХС накладывает свой отпечаток на рабочий аппарат диаграмм связи. Для описания характера совмещения и взаимодействия потоков субстанций в локальном объеме ФХС наряду с ранее определенными узловыми структурами О и 1 вводятся новые структуры слияния 01 и 02, играющие важную роль при топологическом описании сложных объектов химической технологии. Определяются кодовые диаграммы основных типов структур потоков и физико-хими-ческих явлений в гетерофазных ФХС. Класс энергетических элементов и диаграмм связи расширен за счет введения псевдоэнергетических элементов и топологических структур связп, что позволило существенно расширить сферу применения топологического метода описания ФХС. Так, введение новых инфинитезимальных операторных элементов позволяет наглядно и компактно представить весь сложный комплекс физико-химических явлений, происходящих при бесконечно малых преобразованиях точек сплошной среды. Последнее открывает широкие перспективы для топологического описания систем с распределенными параметрами. Наконец, для учета информации о начальных и граничных условиях и ее использования при топологическом описании ФХС предложен конструктивный метод представления геометрической информации в диаграммной форме и преобразования ее к аналитическому виду с помощью специальных логико-алгебраических операций (ЛАО). [c.102]

В последние годы при разработке фреймовых ЯПЗ для математической формализации ФР используют A- < i v h [13,15, 82, 83]. Каждому <1 Р соответствует свое -опрсдсяснио> ( выражение ). В основе разработанного формализованного языка представления ФР лежит использование Х-конверсии , основными достоинствами которой являются простота понимания и универсальность. В данной системе поддерживается предикатная трактовка ФР и конкретизируется его понятие. ФР рассматривается как ориентированный граф, в котором помечены вершины и дуги. Одна из вершин выделена для предикатного символа. Остальные вершины предназначены для ар17ментов, находящихся в некотором падежном отношении (метка на дуге) с выделенным предикатом. Каждая вершина имеет область допустимых значений, называемую сортом. Сорта, или типы, переменных используются в МПЗ для повышения эффективности алгоритмов поиска знаний и вывода решений (83[. В исчислении предикатов сорта переменных не рассматриваются, а поэтому исчисление предикатов мол/сно рассматривать как односортную логику. С принципиальной точки зрения, сорта переменных могут быть исключены путем введения соответствующих одноместных предикатов. Однако с введением таких дополнительных предикатов падает эффективность алгоритмов поиска решений и вывода. [c.240]

Описаше электронных характеристик молекулы предусматривает анализ структуры ее волновой функции. Последняя определяет значения различных физико-химических величин, для которых возможно сопротивление экспериментальных и теоретических значений, позволяющее установить качество найденных волновых функций. Это важно для дальнейщего теоретического изучения таких характеристик системы, о которых можно судить по имеющимся экспериментальным данным лищь косвенным путем. Прежде всего это относится к химическим реакциям, протекающим в тех или иных условиях (в газовой фазе, растворах, на границе раздела двух сред и т.д.). В подобных задачах изучение электронного строения отдельных подсистем молекул является первым этапом. В каждом конкретном случае прежде всего оценивают, какой квантово-химический метод окажется в условиях данного эксперимента достаточно информативным. Методы квантовой химии подразделяют на две основные группы неэмпирические и полуэмпирические. Имея в виду изучение начал квантовой химии, в данной главе рассматриваются лищь неэмпирические методы и близкий к ним метод псевдопотенциала. Причиной тому являются следующие соображения. В полу-эмпирических методах матрицу оператора энергии упрощают приравниванием к нулю предположительно малых матричных элементов, общее число которых достаточно большое. Возникающая отсюда ошибка может быть частично скомпенсирована введением в оставшиеся матричные элементы феноменологических параметров, т.е. полуэмпирические методы представляют собой метод эффективного оператора энергии, в качестве которого выступает матрица энергии. В остальном в полуэмпирических методах повторяется логика неэмпирических, см. [2], [23], [27], [38], [41]. [c.184]

Микро-ЭВМ, работая в системе прямого цифрового управления, имеет возможность одновременно передать решение более сложных задач управления машине более высокого уровня. Кроме того, благодаря дискретной природе функционирования такой системы, компьютеризация представляет собой метод последовательного управления, причем логика или последовательность введения той или иной задачи в управлении может или задаваться заранее или выбираться в процессе уиравления. Организация последовательного управления часто бывает необходима в процессах ферментации. [c.252]

Ниже обсуждаются вопросы формализации характеристик параметров ФХС, частным случаем которых являются нечетко определенные характеристики, и взаимосвязей между параметрами. Способы формализации параметров первого и второго типа зависят от требуемой детализации при решении конкретных задач. Согласно теории множеств, в основе которой лежит двузначная логика, связь между параметрами рассматривается как жесткая . Такая связь может принимать только два значения. Она может существовать или не существовать. Дальнейшая детализация отношений между параметрами достигается применением математического аппарата нечетких множеств, основанного на так называемой нечеткой логике [И, 14, 20]. Такой подход позволяет рассматривать и формализовывать более гибкие связи между параметрами, что в большей степени соответствует природе изучаемых явлений и описанию взаимосвязей на естественном языке. В этом случае переход от наличия связи к ее отсутствию осуществляется постепенно, что достигается введением понятия степени связи между параметрами. [c.21]

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

Логика работы системы в этом режиме вполне подобна той, которой она следует при анализе под аннелирование по Робинсону, Здесь она также направлена на анализ всех циклогексановых фрагментов целевой молекулы с целью обнаружения возможных путей их разборки с помощью трансформа Дильса-Альдера, и также обращается к необходимому набору процедур для ретросинтетического удаления и/или введения структурных элементов, когда это требуется для генерирования желаемого ретрона. Система способна выполнить до 15 последовательных трансформаций для того, чтобы генерировать структурный фрагмент, отвечающий аддукту реакци]- Дильса—Альдера, однако реальную глубину поиска система ограничивает не более чем четырьмя шагами, так как в противном случае необходимое для такого анализа время оказывается чересчур значительным, а генерируемый план синтеза — [c.359]

В настоящее время в эксплуатации находятся средства измерений четырех поколений. Приборы первого и второго поколений построены соответственно на электровакуумных и полупроводниковых (транзисторы, диоды) элементах в них применена аналоговая обработка сигналов. В приборах третьего поколения наряду с полупроводниковыми элементами используются интегральные микросхемы малой и средней степени интеграции. При этом имеет место как аналоговая, так и цифровая обработка сигналов на основе жесткой логики. Средства измерений четвертого поколения характеризуются использованием микропроцессорных систем (МПС) и больших интегральных схем с программно-управляемой цифровой обработкой измерительной информации. Применение больших интегральных схем приводит к резкому соращению числа используемых в приборе элементов. Однако эта тенденция существенно нивелируется и даже перекрывается ростом функциональной сложности измерительной техники. Объективными причинами ее усложнения являются увеличение объема измерительных задач, решаемых одним средством измерений, повышение уровня автоматизации, введение интерфейсных функций и др. Усложнение измерительной техники, повышение ее точности, высокий уровень [c.151]

К стр. 139. Ссылка на то же место из работы А. Штреккера сделана и в ст. 13 (стр. 212—213 в основном томе). Интересно отметить, что относительно другой, более ранней работы Штреккера ( Краткий учебник органической химии , перевод, СПб., 1856) Менделеев в своей рецензии писал Один из важных недостатков учебника Штреккера есть резкость положений и законов, не свойственная естественным наукам. Только в науках чисто отвлеченных — в логике и математике — возможны и существуют неизменные законы, формулы полной точности. С того времени, как введением естественной системы (вместо искусственной) значительно подвинули вперед все науки о природе, стало понятным, что логически простое деление вовсе не согласно с природою, где ни в чем нет резких границ. Штреккер не старался провести подобной идеи в своем учебнике.. . Только в немногих случаях, рассматривая известную группу тел, он описывает их общие свойства, но редко связывает сходные тела различных групп.. . Сущность этой (штрек-керовской.—Ред.) системы может быть выражена так хорошо изученное — сначала, плохо изученное — в конец вместе соединить то, что имеет один или несколько сходных признаков. Система, совершенно лишенная естественности (Соч., т. XV, стр. 154—155). Как видим, здесь Менделеев крити- [c.464]

Работы Вроблевского остаются одним из лучших примеров методов и логики определения структуры органического соединения. Он приготовил пять теоретически возможных монобромбензойных кислот, чтобы выяснить различия между ними. Исходным веществом для синтезов слуншл п-толуидин, метильная группа которого в дальнейшем определяла положение карбоксильной группы. Метод Вроблевского заключался во введении брома непосредственно или через нитрогруппу, а затем в использовании брома, нитрогрун-ны (или продукта превращения последней, нанример аминогруппы) или иода с целью блокирования одного или нескольких положений одновременно Б другое место молекулы вводили бром или заместитель, который можно заместить бромом, после чего все блокирующие группы заменялись на водород. Таким образом было блокировано сначала одно положение, затем первое и второе, далее первые два и третье и, наконец, первые три и четвертое. Из пяти конечных продуктов две пары оказались идентичными. Ладенбург до этого показал, что наличие двух нар эквивалентных положений для второго заместителя может служить строгим доказательством эквивалентности всех шести положений для первого заместителя. Так, три оксибензойные кислоты дают один и тот же фенол при декарбоксилировании и бензойную кислоту при восстановлении, а фенол можно превратить через бромбензол в бензойную кислоту. Таким образом было показано, что для первого заместителя четыре положения эквивалентны. Далее было известно, что две из оксибензойных кислот характеризуются тем, что каждая содержит гидроксил в одном из двух эквивалентных положений. Эквивалентность для второго заместителя должна сохраниться, когда первый замещается на водород, [c.156]

Работа фон Неймана по самовоспроизводящимся автоматам была завершена и описана А. Берксом [68], который сохранил активный интерес к этой области на протяжении нескольких последующих лет. Его Очерки по клеточным автоматам [10] являются хорошим введением в вопросы о клеточных автоматах, которые ставились в годы формирования вычислительных наук. В той же среде, т. е. в группе компьютерной логики Университета шт. Мичиган, Дж. Голланд приступил к использованию клеточных автоматов в задачах адаптации и оптимизации [27 ] был разработан программный имитатор универсальных клеточных автоматов общего назначения. Месяцы работы с этим имитатором (см. [55]) убедили одного из авторов (Тоффоли) в необходимости более непосредственной и эффективной аппаратной реализации - машины клеточных автоматов. [c.13]

Было показано также, что концентрация высокоэнергетических соединений возрастает при первом охлаждении и падает при втором, Этот факт свидетельствовал по меньшей мере о том, что мышцы некоторым образом вовлечены в исследуемый терморегуляторный ответ. Измерение дыхания in vivo выявило его стимуляцию как при первом, так и при повторном охлаждении животного. В первом случае стимуляция сменялась прогрессирующим торможением дыхания, в то время как во втором случае торможения не наступало. Именно таких соотношений можно было ожидать, если животное, охлаждаясь впервые, не успевало в должной степени разобщить дыхание и фосфорилирование, и избыточное потребление кислорода приводило к избыточному синтезу АТФ и торможению дыхательной цепи по механизму протонного контроля. При втором действии холода происходило сильное разобщение, предотвращавшее накопление АТФ и исчерпание АДФ, так что состояние дыхательного контроля не наступало. Но если эта логика верна, то введение животному искусственного разобщителя-протонофора при первом охлаждении могло бы спасти организм от скоропостижной ХОЛОДОВОЙ смерти. Опыты, поставленные С. П. Масловым, подтвердили это предсказание. Инъекция 2,4-динитрофенола, являющегося токсичным для животных, тем не менее значительно увеличивала продолжительность жизни на холоде мышей, впервые подвергнутых охлаждению. [c.180]

Справочник химика 21

Химия и химическая технология