Розглянуто основні поняття класичної логіки висловлювань і предикатів, а також основні поняття та методи некласичних логік, таких як модальна та лінійна темпоральна логіка. Для зрозумілості викладення цих понять використано основи теорії множин і відношень. Висвітлено методи перевірки виконуваності та доведення основних властивостей у перелічених логіках. Для лінійної темпоральної логіки розглянуто метод семантичного табло. Зазначено, що використання цього методу для верифікації властивостей заданих формул призводить до відповідних проблем теорії скінченних автоматів над нескінченними словами. Розглянуто ці автомати та їх основні властивості.

• Кривий Сергій Лук"янович (фізико-математичні науки)
• Провотар Олександр Іванович (1958–) (фізико-математичні науки)

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