Назва	Наукові записки. Том 99, Комп'ютерні науки / Національний університет "Києво-Могилянська академія".
	Місто	Київ :
	Видавництво	[Аграр Медіа Груп],
	Рік	2009.
	Обсяг	114 с.
	Редколегія	Глибовець М. М., Анісімов А. В., Боднарчук Ю. В., Гороховський С. С., Дорошенко А. Ю., Іваненко В. І., Кондратенко Ю. П., Перевозчикова О. Л., Рябенький В. М., Синявський О. Л., Фісун М. Т., Кирієнко О. В.
	Рецензенти	Бєлов Ю. А., Нікітченко М. С.
	Упорядники	Глибовець М. М.
	Предмет	Комп'ютерні науки - Наукові збірники.

Передмова / М. М. Глибовець.
С. 3.
[Повний текст PDF]

Мейтус В. Ю.
Інтелектуальні системи, онтології та онтологічні простори.
C. 4-14.
[Повний текст PDF]

Шкільняк С. С.
Неокласичні алгебри та їх гомоморфізми.
С. 14-22.
[Повний текст PDF]

Афонін А. О.
Про машинно-орієнтовані числення секвенціального типу для класичної логіки першого порядку.
С. 23-28.
[Повний текст PDF ]

Коляденко А. А.
Використання засобів автоматичного доведення теорем для дослідження моделей контролю доступу на базі ролей та генерацій авторизаційних тверджень.
С. 28-37.
[Повний текст PDF]

Шкільняк О. С.
Секвенційні цислення композиційно-номінативних модальних і темпоральних логік.
С. 37-44.
[Повний текст PDF]

Гороховський С. С., Кульчицький Ю. М.
Порівняльний аналіз інструментальних засобів розв'язання комбінаторних задач на скінченних областях з обмеженнями.
С. 44-49.
[Повний текст PDF]

Анісімов А. В., Глибовець М. М., Кулябко П. П., Марченко О. О., Лиман К. С.
Розробка методів автоматизованого розширення та добудови онтологічних баз знань.
С. 50-53.
[Повний текст PDF]

Федорченко В. М.
База знань компонентів репозитарію NRECO.
С. 53-56.
[Повний текст PDF]

Буняк Р. О.
Огляд нової концепції в розробці програмних систем на базі дизайн-орієнтованого підходу.
С. 57-61.
[Повний текст PDF]

Апостол А. В.
Системи оперативного аналізу даних.
С. 61-66.
[Повний текст PDF ]

Олецький О. В.
Організація онтологічно-орієнтованих засобів автоматизованого експертного добору інформаційних ресурсів на тематичному порталі.
С. 66-69.
[Повний текст PDF]

Мелащенко А. О., Перевозчикова О. Л., Скарлат О. С., Криворучко К. С.
Комплекти підписів для інтероперабельності національної системи електронних цифрових підписів.
С. 70-77.
[Повний текст PDF]

Чечельницький О. А., Франчук О. В., Кирієнко О. В.
Граничні характеристики моделі комп'ютерної мережі типу Джексона.
C. 77-80.
[Повний текст PDF]

Попов В. В., Вакал Є. С., Шитіков М. В.
Чисельне розв'язування задачі Гільберта для обмеженої області з негладкою межею.
С. 81-85.
[Повний текст PDF]

Анісімова Л. А., Глибовець А. М., Субота О. М.
Моделювання біржових процесів за допомогою агентного підходу.
С. 85-90.
[Повний текст PDF]

Дегтярова К. Л., Попов В. В., Тригуб О. С.
Побудова кривої дохідності.
С. 90-93.
[Повний текст PDF]

Гломозда Д. К.
Координація взаємодії користувачів у колаборативній системі дистанційної освіти ВНЗ.
С. 93-97.
[Повний текст PDF]

Бірюков Д. С., Заславський В. А., Євгієнко В. В., Франчук О. В.
Моделювання та оцінка сценаріїв загроз для об'єктів критичної інфраструктури.
С. 97-101.
[Повний текст PDF]

O. Buchko
Shape-based classification of radiological images/
C. 102-107.
[Повний текст PDF]

Бублик В. В., Борозенний С. О.
Особливості електронної освіти в контексті навчання методам групової роботи.
С. 108-112.
[Повний текст PDF]

Вовк Н. Є.
Використання метеданних в інфраструктурах представленні знань.
С. 112-114.
[Повний текст PDF]

Відомості про авторів.
[Повний текст PDF]

Зміст.
[Повний текст PDF]