Cтраница 4
Развиты теория и практическое применение теоретико-числовых преобразований, позволяющих одновременно уменьшить и объем вычислений, и их ошибки. Успешно развиваются спектральные методы в теории кодирования, теории графов, теории функций многозначной логики. [46]
В связи с этим важное значение приобретает разработка вопросов теории реальных логических сетей, условия работы которых приближаются к действительным условиям работы реальных автоматических устройств. Большой интерес для разработки этой проблематики представляют проводящиеся С. В.Я блонски м исследования по применению аппарата многозначных логик для анализа и синтеза электронных схем. [47]
Построение теории моделей первого порядка служит предпосылкой для развития теорий моделей других типов и таких ее приложений, как нестандартный анализ. В настоящее время развиваются также теории моделей логики с бесконечными формулами, логики с дополнительными кванторами, многозначной логики, многосортной логики, интуиционистской логики, модальной логики, логики второго порядка. [48]
Эта работа посвящена не логике как таковой, а выяснению физико-химических возможностей мышления. Поэтому здесь не будет рассматриваться трехзначная логика: истинность ( И) - неопределенность ( Н) - ложность ( Л), вообще многозначная логика, равно, как интуитивистская логика. Разбор классической двузначной логики: ( И) - ( Л) оказывается вполне достаточным для настоящей работы. [49]