Buchumschlag

Конструктивний алгоритм зворотного методу для числення висловлювань

Розглядається загальна схема зворотного методу С.Ю. Маслова для числення висловлювань. Описано низку евристичних стратегій і правил виведення скорочення перебору. Сформульовано конструктивний алгоритм зворотного методу для числення висловлювань. A general scheme of the inverse method by S. Maslov fo...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2007
1. Verfasser:	Доценко, В.А.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України 2007
Schlagworte:	Проблемно і функціонально орієнтовані комп’ютерні системи та мережі
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/14635
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Конструктивний алгоритм зворотного методу для числення висловлювань/ В.А. Доценко // Систем. дослідж. та інформ. технології. — 2007. — № 2. — С. 59-73. — Бібліогр.: 7 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Конструктивний алгоритм зворотного методу для числення висловлювань
von: Dotsenko, V. A.
Veröffentlicht: (2018)

Алгоритм оценки вероятности вторжений для средств мониторинга безопасности компьютерных систем
von: Мухин, В.Е., et al.
Veröffentlicht: (2007)

Обобщенный алгоритм расчета характеристик стратегий Клейнрока-Камоуна для распределения буфера в сетях коммутации пакетов
von: Пономаренко, Л.А., et al.
Veröffentlicht: (2002)

Разработка систем передачи телеметрической информации для космических объектов
von: Зинченко, В.П., et al.
Veröffentlicht: (2005)

Выбор протокола динамической маршрутизации в корпоративной IP-сети
von: Бачинский, В.А., et al.
Veröffentlicht: (2011)

Построение оптимальной последовательности соединений отнрошений в запросах реляционной базы данных
von: Пономаренко, Л.А., et al.
Veröffentlicht: (2003)

Анализ и синтез сетей с технологией АТМ
von: Зайченко, Е.Ю.
Veröffentlicht: (2003)

Численный метод анализа модели беспроводной сети связи со сложной схемой резервирования каналов и очередями
von: Меликов, А.З., et al.
Veröffentlicht: (2009)

Сравнительный анализ эффективности нечетких нейронных сетей в задачах прогнозирования в экономике и финансовой сфере
von: Зайченко, Ю.П., et al.
Veröffentlicht: (2006)

Структуризация и анализ данных в растущих пирамидальных сетях
von: Гладун, В.П., et al.
Veröffentlicht: (2004)

Процес повторного тестування під час експертизи програмного забезпечення
von: Говорущенко, Т.О.
Veröffentlicht: (2011)

Інформаційні мережеві технології в науці і освіті
von: Згуровський, М.З., et al.
Veröffentlicht: (2002)

Анализ методов управления трафиком ABR в сетях ATM с применением имитационного моделирования
von: Зайченко, Ю.П., et al.
Veröffentlicht: (2005)

Програмний комплекс моделювання складних систем на основі ітераційних алгоритмів МГУА з можливістю мережевого доступу
von: Булгакова, О.С., et al.
Veröffentlicht: (2014)

Исследование нечетких нейронных сетей в задачах макроэкономического прогнозирования
von: Зайченко, Ю.П., et al.
Veröffentlicht: (2004)

Исследование эффективности нечеткой нейронной сети ANFIS в задачах макроэкономического прогнозирования
von: Зайченко, Ю.П., et al.
Veröffentlicht: (2005)

Методология анализа формируемых режимов передачи мультимедийного трафика в широкополосных сетях связи
von: Ластовченко, М.М., et al.
Veröffentlicht: (2006)

Using ontology for querying in relational database
von: Tkanko, O.V., et al.
Veröffentlicht: (2013)

Анализ и оптимизация показателей живучести компьютерных сетей с технологией АТМ
von: Зайченко, Е.Ю.
Veröffentlicht: (2003)

Neural network synthesis based on evolutionary optimization
von: Oliinyk, A.A., et al.
Veröffentlicht: (2015)

Fast rerouting method in MPLS networks in case of failures
von: Hatamleh Hazem
Veröffentlicht: (2012)

Quality of service at the computer networks based on internet
von: Listopad, N.I., et al.
Veröffentlicht: (2006)

Методы и средства эффективного управления передачей данных в защищенных компьютерных сетях
von: Мухин, В.Е., et al.
Veröffentlicht: (2005)

Оптимальная ремаршрутизация потоков в компьютерных сетях с технологией MPLS
von: Зайченко, Е.Ю.
Veröffentlicht: (2015)

Адаптивная стратегия распределения буфера в узлах телекоммуникационных сетей
von: Пономаренко, Л.А., et al.
Veröffentlicht: (2004)

Оптимизация порядка передачи сообщений в узлах компьютерных сетей с учетом динамики трафика
von: Пустовойтов, П.Е., et al.
Veröffentlicht: (2013)

Grid та інтелектуальна обробка даних Data Mining
von: Петренко, А.І.
Veröffentlicht: (2008)

Оцінка стійкості екосистем на основі анализу рольових трофічних мереж
von: Руденко, С.С., et al.
Veröffentlicht: (2011)

Вероятностная модель работы узла сети Internet
von: Дудин, А.Н., et al.
Veröffentlicht: (2002)

Структурный синтез развивающихся сетей
von: Зайченко, Е.Ю.
Veröffentlicht: (2002)

Построение поисковых Internet/Intranet систем на основе полнотекстовых баз данных
von: Воротницкий, Ю.И., et al.
Veröffentlicht: (2002)

Структурный синтез компьютерных сетей с технологией MPLS
von: Зайченко, Е.Ю., et al.
Veröffentlicht: (2006)

Качество обслуживания в системах мультимедиа
von: Копачев, А.Г.
Veröffentlicht: (2002)

Нейромережева реалізація інтелектуальної підтримки прийняття рішень в автоматизованому управлінні навчанням
von: Мазурок, Т.Л., et al.
Veröffentlicht: (2011)

Применение технологий качества обслуживания в коммуникационных сетях
von: Демчинский, В.В.
Veröffentlicht: (2005)

Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів
von: Доценко, В.А.
Veröffentlicht: (2008)

Використання методу індуктивного виведення для вдосконалення онтології предметної області пошуку
von: Рогушина, Ю.В., et al.
Veröffentlicht: (2007)

Autospecies – програма для комп’ютерного набору латинських назв видів рослин
von: Гончаренко, І.В., et al.
Veröffentlicht: (2013)

Генетический алгоритм защиты SDN от сетевых атак
von: Забелин, С.И.
Veröffentlicht: (2016)

Алгоритм побудови оптимальних пар фільтрів кодування і відновлення, адаптивних до функції багатьох змінних
von: Лигун, А.О., et al.
Veröffentlicht: (2009)