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

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"