Веб-бібліотека - головна сторінка


Проектування інформаційних систем / За ред. В. С. Пономаренка:

Загальнотеоретичні засади проектування автоматизованих інформаційних систем. Системотехнічні аспекти теорії проектування автоматизованих інформаційних систем. Системний підхід, цілі та принципи проектування інформаційних систем. Декомпозиція інформаційної системи. Якість та ефективність інформаційної системи. Процес проектування інформаційної системи. Сутність процесу проектування, його стадії та етапи. Учасники процесу проектування. Трудомісткість етапів проектування. Методи і засоби проектування інформаційних систем. Сутність і класифікація методів проектування інформаційних систем. Засоби проектування інформаційних систем та їх класифікація. Методи і моделі прийняття проектних рішень...

МОДАЛЬНАЯ ЛОГИКА

- логическая система, изучающая структуру рассуждений, в состав к-рых входят модальности (модальные операторы): "необходимо , "возможно , "действительно , "случайно - и их отрицания. В трудах Аристотеля, стоиков, схоластов уже были сформулированы нек-рые осн. определения и законы М. л. Исследование модальностей средствами математической (символической) логики было начато К. Льюисом и Лукасевичем. Ими были предложены системы М. л., в к-рых модальности носят абсолютный характер, т. е. приписываются высказыванию безотносительно к к.-л. другому высказыванию. В настоящее время исследуются т. наз. релевантные М. л., включающие относительные модальности. В зависимости от смысла, к-рый вкладывается в модальные операторы, различают логику алогических модальностей, логику эпистемологических модальностей и деонтическую логику. Важные результаты в области семантики М. л. получены С. Крипке.