Cтраница 2
К их построению ныне все чаще прибегают в логике. Например, этот подход применен А. С. Кузичевым ( 1971, 1973), предложившим построение последовательности расширяющихся систем комбинаторной логики. [16]
В этот период создаются фундаментальные логические системы - классические исчисление высказываний и исчисление предикатов. В связи с задачами обоснования математики наряду с работами в области классической логики разрабатывается конструктивная логика. С анализом оснований логики связаны исследования по комбинаторной логике. Создается теория многозначных логик. Попытки решить проблему формализации логического следования приводят к созданию исчислений строгой и сильной импликации. Закладываются основы модальной логики. [17]
Значительный вклад в его развитие внесли Рассел и Уайтхед ( Principia Mathematica, 1910 - 13) и Гельберт. С анализом оснований логики связаны исследования по комбинаторной логике. Ведутся исследования в области многозначных, модальных и релевантных логик. [18]
В этот период создаются фундаментальные логические системы - классические исчисление высказываний и исчисление предикатов. В связи с задачами обоснования математики наряду с работами в области классической логики разрабатывается конструктивная логика. С анализом оснований логики связаны исследования по комбинаторной логике. Создается теория многозначных логик. Попытки решить проблему формализации логического следования приводят к созданию исчислений строгой и сильной импликации. Закладываются основы модальной логики. [19]
В этом разделе мы кратко рассмотрим функциональный язык, называемый FP, где каждая функция выражается именно таким образом. FP может быть использован как язык программирования, но в этой книге мы будем использовать его скорее как промежуточную форму записи, в которой могут быть выражены формальные преобразования. Это относится в основном к части III, но в гл. FP также используется для введения категорийной комбинаторной логики первого порядка. [20]
Эта задача обрисовывает проблематику логической семантики. Логический синтаксис и семантика включаются в металогику - теорию средств описания, предпосылок и свойств логических исчислений. В этот период создаются фундаментальные логические системы - классические исчисление высказываний и исчисление предикатов. В связи с задачами обоснования математики наряду с работами в области классической логики разрабатывается интуиционистская и конструктивная логика. С анализом оснований логики связаны исследования по комбинаторной логике. Создается теория многозначных логик. [21]
Мультиплексор повышает КПД МАП при коммутации периферийных АИП и ДИП, внешней памяти с микропроцессором. Однако обмен информацией с разделением во времени снижает быстродействие и, в ряде случаев, надежность и точность работы МАП. Поэтому к метрологическим характеристикам мультиплексора предъявляются жесткие требования. ПЛМ из-за дополнительного преобразования бинарного кода в позиционный. При мультиплексировании небольшого числа проводников наиболее дешевыми и простыми являются решения на основе комбинаторной логики. [22]
Эта задача обрисовывает проблематику логической семантики. Логический синтаксис и семантика включаются в металогику - теорию средств описания, предпосылок и свойств логических исчислений. Открытие формального рассмотрения логики принадлежит Аристотелю ( 4 в. В этот период создаются Фундаментальные логические системы - классические исчисление высказываний и исчисление предикатов. В связи с задачами обоснования математики наряду с работами в области классической логики разрабатывается конструктивная логика. С анализом оснований логики связаны исследования по комбинаторной логике. Создается теория многозначных логик. Попытки решить проблему формализации логического следования приводят к созданию исчислений строгой и сильной импликации. Закладываются основы модальной логики. [23]