Наведено основні поняття та методи математичної логіки, а також основи теорії алгоритмів. Відображено питання класичної математичної логіки, розглянуто основні поняття логіки та числення з наведеними логічними зв'язками, умовними й еквівалентними висловлюваннями, із застосуванням формальної аксіоматичної теорії L і теореми дедукції, а також наведено такі методи доведення висловлювань, як: аксіоматичний, конструктивний, резолюцій і метод від супротивного. Подано логіку предикатів першого порядку й аксіоматичні системи логік з кванторами, формули логіки предикатів, їх закони та тотожності, числення предикатів першого порядку, система аксіом і правил виведення, випереджено нормальні форми та методи побудови доведень із застосуванням методів резолюцій та ідентифікації. Увагу приділено нетрадиційним логікам: нечіткій, модальній, епістемічній, деонтичній, інтуїціоністській. Розглянуто основні поняття логік, визначення, властивості та характеристики, а також для окремих логік наведено їх формальні мови й операції над ними.

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