Четвериков Г. Г. Дискретные структуры : учеб. пособие для студентов, обучающихся по направлениям "Компьютер. науки" и "Приклад. математика" / Г. Г. Четвериков, З. В. Дударь, И. Д. Вечирская; Харьков. нац. ун-т радиоэлектроники. - Харьков, 2014. - 319 c. - Библиогр.: с. 296-300 - рус.Рассмотрена связь между логикой и философией, а также расскрыты базовые понятия компьютерной лингвистики как основы для формализации языковых аспектов. Приведена информация о формах абстрактного (логического) мышления. Подробно освещены вопросы, связанные с простым категорическим силлогизмом (формами и модусами), сокращенным категорическим силлогизмом (энтимемой), сложными и сложносокращенными силлогизмами (полисиллогизмами, соритами). Охарактеризованы условные и разделительные умозаключения, условно-разделительные умозаключения (лемматические: дилеммы и трилеммы). Представлены простейшие методы доказательства, которые базируются на основных логических законах. Даны представления исчислений высказываний генценовского и гильбертовского типов. Рассмотрены вопросы логики и исчисления предикатов. Проанализированы основные элементы теории чисел. Изложены вопросы, связанные с понятием вычислительной сложности. Індекс рубрикатора НБУВ: Ю4 я73
Рубрики:
Шифр НБУВ: ВА788147 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|