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

• Четвериков Григорій Григорович (технічні науки)

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