Формал. логич. модели. Их примеры

В основе моделей такого типа лежит формальная система, задаваемая четверкой вида: M = <T, P, A, B>. Всякая форм. Теория, опред аксиоматическую сис-му характ-ся: наличием алфавита,мн-вом синтакс правил,мн-вом аксиом,лежащих в основе теиории, мн-вом правил вывода. Примером аксиоматич сис-м являя исчесление высказываний и предикатов. Логика(исчисл-е) высказываний – раздел мат логики,лежащий в основе всех ее разделов. Основными объектами явл высказывания-предл-я, о каждом из кот можно сказать истинно и ложно оно (истина обознач.симв. 1, ложь-0) Логика предикатов нач-ся с анализа строения высказываний, кот выражают тот факт,что объекты обладают некот св-вами или наход-ся между собой в некот отн-ях(понятие он-ние и св-во являя частным случаем:сущ предикат-свойство, предикат отн-ние). Форм логич модель основана на предикатах 1-го порядка,когда предметн обл или задача описыв-ся в виде аксиом. «+» аксимат.сис-мы хорошо исследованы а «-« их закрытостьи негибкость: модификация и расширение всегда связаны с перестройкой всей сис-мы. Форм.лог модель предъявляет выс огрыничения и требов к предм обл,поэтому применима в осн в исследоват сис-мах.

Тема 6. Общая характеристика СУБД Micrоsoft Access 2003

Хар-ка СУБД Micrоsoft Access 2003

СУБД Microsoft Access предназначена для работы с реляц. БД. Эта СУБД входит в программный комплекс Microsoft Office 2000, компоненты кот. работают в среде Windows 95/98, Windows NT Workstation 4.0 и выше. Access имеет инструментальные средства для создания: лок. БД, централиз. БД в лок. сети с файл. сервер., проектов (клиентских приложений, работающих с БД Microsoft SQL Server 6.5 или Microsoft SQL Server 7.0). Access поддерживает механизм OLE.- связыв. и внедр. объектов различн. прилож. Windows в БД, позволяет импорт. данные табл.: других БД Access; БД dBase, Microsoft FoxPro, Paradox, Oracle, Microsoft SQL Server; табличного процессора Microsoft Excel. Внешними для Access могут быть также: данные почтовой прогр. Microsoft Ехchаngе, табл. и списки HTML на сервере лок., корпоративной сети, сети Internet. Может экспорт. объекты БД в др. приложения. Access позволяет осуществлять: восстановление БД, сжатие БД, репликацию БД, защиту БД. Дает возможность конвертировать БД из предыд. версий в текущ. и наоб.

Польз. интерфейс. Справоч. сист

После загрузки Access появится старт. окно Access, содерж. окно запуска, кот. позвол. откр. сущ. БД или созд. новую. Выполн. одной из предлож. операций вызывает главное окно Access. В стр. загол. отображ. имя программы и содержатся кноп.JCH для управления окном. Строка меню содерж. неск. пунктов меню. Переч. пунктов меню и их содерж. измен. в завис. от режимов раб. сист. Панель инстр. представл. собой набор граф. кнопок, назнач. кот. ускор. вызов команд меню. Access имеет большое колич. панелей инстр., использ. в разл. режимах раб. Панели инстр., соответств. некотор. режиму, выводятся на экран автомат. при перех. в этот режим. По мере раб. польз. происх. настройка меню и панелей инстр. так. образом, что в них отображ. только команд. и кнопки, использ. чаще всего. При констр. объектов БД пользов. имеет дело с окнами констр. табл, запросов, форм, отчетов, страниц, макросов. В окне БД, из окон констр. табл, запросов, форм, отчетов, страниц, макросов откр. окна объектов БД, в кот. просматр. созд. объекты. Задание опред. хар-к эл-ам объектов БД происх. в окнах свойств. Вывод сообщений Access осущ. в окнах сообщ. Вып. нек. команд меню влечет появл. диалог. окон.

Настр. раб. среды

Осущ. настр. раб. среды в соотв. с треб. польз. можно с помощ. команды Сервис/Парам. Её результ. явл.диалог. окно Парам. с вкладками. На вкладке Вид есть возм. включить/отключить отображ.: строки сост., окна зап., ярлыков для созд. нов. объектов в окне БД. На вкладке Общие устанавл. поля стр. при печати док., порядок сорт. для новых БД, звук. сопров. при вып. разл. действий. На вкладке Правка и Поиск задаются парам. вып. операц. редакт., поиска и замены. Вкладка Режим табл. служит для установки парам. табл., а также задания анимац. при отображ. изменен. в табл. в связи со вставкой нов. стол-ов. Вкладка Табл. и запросы позвол. установ. парам., использ. по умолч. в реж. констр. табл. и в реж. констр. запроса. Эл-ты вкладки Формы и Отчеты прим. для устан. парам.в, действ. по умолч. в реж. констр. формы и в режиме констр. отчета. Вкладка Клав-а позвол.задать реж. раб. при вводе данных с клав-ы. На вкладке Др. осущ.сет.настр. и настр. интерф. ODBC, имеется возможн. конфигурир. прогр. Access для раб. в многопольз.среде.