Зведений каталог бібліотек Києва

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

ЛялецькийоЛялецький, О. В.
    Кон"юктивні дерева і пошук суперечності [Текст] / О.В. Лялецький, В.В. Юрчишин // Вісник Київського університету імені Тараса Шевченка. — Київ : Київський університет, 1996. — 1996. — С. 225-230.

- Ключові слова:

математична логіка, математическая логика ; конструювання програм, конструирование програм

- Анотація:

В роботі розглядається коретний і повний метод дедуктивних виведень, який базується на резолюційній техніці, зображенні вхідних формул так званими кон"юктивними диз"юнктами, а механізм виведення забезпечується спеціальними деревовидними структурами.

- Є складовою частиною документа:

- Теми документа

  • Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка   Перейти на сайт