Віртуальна довідка Тематичний інтернет-навігатор Наукова електронна бібліотека Автореферати дисертацій Реферативна база даних Книжкові видання та компакт-диски Журнали та продовжувані видання
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>A=Любченко К$<.>) |
Загальна кількість знайдених документів : 2
Представлено документи з 1 до 2
|
| | | | |
1. |
Любченко К. М. Елементи математичної логіки з комп'ютерною підтримкою : Посіб. для вчителів / К. М. Любченко, Ю. В. Триус; Черкас. нац. ун-т ім. Б.Хмельницького. - Черкаси, 2004. - 87 c. - Бібліогр.: с. 73. - укp.Розглянуто засаду математичної логіки - алгебру висловлювань (АВ). Розкрито суть поняття висловлювання. Запропоновано критерій рівносильності формул, описано основні властивості логічних операцій, а також класи формул АВ. Проаналізовано особливості з'ясування логічної правильності міркувань за допомогою методу резолюцій. Визначено основні можливості програми Master of Logіc. Рассмотрена основа математической логики - алгебра высказываний (АВ). Раскрыта сущность понятия высказывания. Предложен критерий равносильности формул, описаны основные свойства логических операций, а также классы формул АВ. Проанализированы особенности согласования логической правильности размышлений с помощью метода резолюций. Определены основные возможности программы Master of Logic. Індекс рубрикатора НБУВ: В121 р(4УКР)21-34
Рубрики:
Шифр НБУВ: ВА651835 Пошук видання у каталогах НБУВ
|
| | | | |
2. |
Любченко К. М. Мова програмування Prolog. Базовий курс : навч.-метод. посіб. / К. М. Любченко; Черкас. нац. ун-т ім. Б. Хмельницького. - Черкаси : ЧНУ ім. Б. Хмельницького, 2016. - 135 c. - Бібліогр.: с. 135 - укp.Наведено основні відомості з мови логічного програмування Prolog. Значну увагу приділено прикладам програм. Розкрито особливості програмування на мові Prolog. Зазначено, що програмування на цій мові складається з таких основних етапів: опис деяких фактів про об'єкти та відношення між ними, визначення окремих правил про об'єкти і відношення між ними, формулювання питань (запитів) про об'єкти і відношення між ними. Індекс рубрикатора НБУВ: З973-018.2 Prolog
Рубрики:
Шифр НБУВ: ВА799453 Пошук видання у каталогах НБУВ
|
|
|