Роїк О. М. Основи дискретної математики : Навч. посіб. для студ. бакалавр. напрямку 6.0804 - "Комп'ютер. науки" спец. 7.080404 - "Інтелект. системи прийняття рішень" та 7.080403 - "Програм. забезп. автоматиз. систем" ден. та заоч. форм навч. Ч. 1. Метод математичної індукції, обчислення висловлень, теорія множин / О. М. Роїк, Р. Г. Тадевосян; Вінниц. держ. техн. ун-т. - Вінниця, 2003. - 112 c. - укp.Розглянуто особливості формування методу математичної індукції, а також доведення нерівностей за допомогою даного методу. Розкрито суть основних понять алгебри та формалізації висловлень, визначено досконалі диз'юнктивні нормальні форми. Проаналізовано особливості доведення теоретико-множинних тотожностей і тверджень. Рассмотрены особенности формирования метода математической индукции, а также доказательства неравенств с помощью данного метода. Раскрыта сущность основных понятий алгебры и формализации высказываний, определены совершенные дизъюнктивные нормальные формы. Проанализированы особенности доказательства теоретико-множественных равенств и утверждений. Індекс рубрикатора НБУВ: В126 я73
Рубрики:
Шифр НБУВ: В347457 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|