43. Формальные логические модели. Их примеры (исчисление высказываний и исчисление предикатов)

Формальная логика–наука об общих структурах и законах правильного мышления, образования и сочет понятий и высказываний, о правилах умозаключений независимо от их конкретного содержания.

Лог выражения м.б. истинными или ложными. Некот из этих выражений, являющиеся всегда истинными, объявляются аксиомами (или постулатами). Они составляют ту базовую систему посылок, исходя из которой и пользуясь определенными правилами вывода, можно получить заключения в виде новых выражений, также явл-ся истинными. Классическими примерами аксиоматических (формальных) с-м явл исчисление высказываний и исчисление предикатов. Исчисление высказываний – область матем логики, наз-мая булевой алгеброй. Она изуч высказывания и операци над ними. Высказывание – это предложение, кот м.б. истинно или ложно. Наибол известными операциями явл конъюнкция и дизъюнкци. Так, дизъюнкция высказ–новое высказ из 2х и > исходных высказ; истинн в тех случаях, когда истинно хотя бы одно из исходных высказ. Конъюнкция высказ – новое высказ из 2х и > исходных высказ; истинное в тех случаях, когда истинны все исходные высказ. Возникает необ-сть в расширении логики выска– в логике предикатов.

Логика предикатов расчленяет элементарное высказ-е на субъект (подлежащее) и предикат (сказуем). Субъект –то, о чем что-то утверждается в высказывании; предикат – это то, что утверждается о субъекте. Достоинство формальных систем в том, что они хорошо исследованы и имеют прекрасно разработанные модели логического вывода. Поэтому все, что может и гарантирует каждая из этих систем, гарантируется и для прикладных формал с-м как моделей конкретных предмет обл. В частности, это

(продолжение) 43. Формальные логические модели.

гарантии непротиворечивости вывода, алгоритмической разрешимости (для исчисления высказыв) и полуразрешимости (для исчислений предикатов). Недостатки–закрытость, негибкость. формальные системы как модели представления знаний могут исп-ться только в тех предметных областях, которые хорошо локализуются и мало зависят от внешних факторов. К тому же, очень высокие требования к предметной области – полнота и непротиворечивость «базового аксиоматического набора» – обусловили то, что в промышл экспертных с-мах формальные логические модели практически не используются.

44.Хар-ка СУБД Micrоsoft Access 2003: тип, платформа, функциональные возможности, пользовательский интерфейс, настройка рабочей среды. СУБД Microsoft Access предназначена для реляцион БД – это СУБД входит в программный комплекс M.Office 2003. Предоставляет пользователям доступ к данным в локальн и глобальных сетях; Access имеет инструментальные ср-ва для создания: локальной БД, централизованной БД; в локальной сети с файловым сервером, проектов. Access поддерживает механизм OLE – связывание и внедрение объектов различных приложений Windows в БД. Может произвести экспорт данных; может импортировать данные из источников; позволяет создавать проекты – клиентс приложения для работы с БД MS SQL Server 6.5 и выше; имеет встроенный язык программирования Visual Basic for Applications(VBA); имеет средства для администрирования БД, которые позволяют осущ восстановление БД, сжатие БД, репликацию БД–создание копий общей БД, с которыми пользователи могут одновременно работать на разных рабочих станциях сети, защиту БД, конвертирование БД из предыдущих версий в текущую и наоборот. Пользовательский интерфейс. После загрузки Access появл стартовое окно, содержащее окно запуска, к-ое позволяет открыть существующую БД или создать новую. Выполнение одной из операций вызывает главное окно вида:

- строка заголовка – имя программы и кнопки для управ-ния окном.

- строка меню содержит несколько пунктов меню.

- панель инструментов – набор граф кнопок для ускоренного вызова команд меню. - окно БД - строка состояния.

По мере работы пользователя происходит настройка меню инструментов т.о., что в них отображаются только команды

(продолжение) 44.Хар-ка СУБД

и кнопки, используемые чаще всего. При желании можно выбрать режим постоянного отображения полного набора команд в каждом меню. С целью экономии рабочего пространства окна панели инструм можно расположить рядом в одной строке. Восстановить исходной состояние панели инструм и меню можно командой серсив /настройка-вкладка Параметры – нажать [сброс]. Имеется воз-сть самому создавать и настраивать панель инструментов строки меню, контекстное меню, а также истанавливать св-ва, влияющие на их вид и работу. Вид/панельинстр/настройка. Осущ-ть настройку раб средв в соответствии с требов пользователя можно: сервис/параметры.

45.Хар-ка объектов БД

Access ориентирован на работу с объектами БД, к кот относятся табл, запр, ф, о, стр, макр и модули. Таблица – стр-ра, предназначенная для хранения инф-ии в БД. Ее строки – записи, а столбцы - поля БД. Записи идентифицируются по некот уник хар-ке, включающей 10 или нескол полей и называе ключом. Между ними можно устанавл связи 1:1 или 1:М. Запрос-требование на: отбор данных, хранящихся в таблицах; выполнение вычислени над данными; изменен в БД. Запр на измен: удаление, обновление, добавление, создание таблицы. Форма-созданный на экране шаблон, используемый, главны образом, для ввода, просмотра, редактир и сортировки записей БД. Может содерж: надписи, поля, списки и раскрыв, флажки, кнопки, рис, вкладки, линии и др. Типы:прост,состав и кнопочн. Отчет-отображение на принтере или на экране информ из БД в виде, удобном для ее восприятия и анализа пользователе. Можно группироват и сортиров,осущ расчеты в строках и проволить итоговые вычисл над группами строк и над всеми. Страница доступа к данным - диалоговая Web-страниц,кот поддерживает динам связь с БД и позволяет просматривать, редактировать и вводить данные в базу, работая в окне браузера Explorer. Измен дан в табл и запр, в свою очередь, автомат отобрад на стр. Может бегущая строка. Макрос-есть последовательн макрокоманд для автоматизации выполнения операций в среде Access без программирования. Для работы с ф и отчет. Линейн,с условием,группов,с циклом. Модуль - это программа для работы с БД, написанная на языке Visual Basic for Applications 6,0(VBA). Объекты БД м.б. объединены в именованные группы объектов по функционал или иному признаку. Все объекты, за исключ страниц д к д, можно хранить в одном файле - файле БД с расширением .mdb. Это упрощает их перенос с компа на комп, облегчает создание связанных объектов, проверку целостности данных. Страницы сохран как самост файлы с расш html отдел от БД, с кот связан.

46.Типы обрабатываемых Д и выражения СУБД Acces может обрабатыват данн полей след типов. Тексто. Помещают текст или комбинацию текс-х и числ-х значен до 255 симв. Поле MEMO. Длинный текст (до 65535) символов. Числовой. Числ данные (не денежн) Размеры чис. полей – 1, 2, 4, 8, 12 байт. Дата/время. Знач д и ври. Даты от 100 по 9999 год. Денежный. Денеж знач (макс. Точность 15 знаков слева от десят запятой и 4 знака справа от неё). Счетчик. Уник последовательные с шагом 1 номера, автоматически присваиваемые записям при их вставке в табл БД. Логический. Поле этого типа может иметь одно знач из пары значений Да/Нет, Истина/Ложь или Вкл/Выкл. Поле объекта OLE. Объекты других приложений, кот могут быть связаны или внедрены в таблицу БД Access. Гиперссылка – путь к файлу на жестком диске либо адрес в сети Internet или Интранет.

Каждому типу поля присущ определенный набор св-ств, кот позволяют управлять сохр-ием, обработкой и отображением данных поля. Некот св-ва полей: Размер поля. Определяет мак длину текстов или числового поля. Так, для числ-го поля с целыми значениями используются размеры:

• байт – целые числа от 0 до 255 (поле занимает 1 байт);

• целое – целые числа от - 32 768 до 32 767 (2 байта);

• длинное целое–целые числа от -2 147 483 648 до ..647(4)

Для числ. полей с дробными знач-ями применяются размеры: одинарное и двойное с плавающей точкой, действительное. Формат поля. Опред способ отображ текста, чисел, дат и знач времени на экране и на печати. Число десятичных знаков. Позволяет указывать для чисел кол-во дробных знаков. Маска ввода. Задает маску ввода, облегчающую ввод данных в поле. Подпись. Опред текст, кот выводится в качестве наименований полей в табл, з, ф,о.

(подолждение)46.Типы обрабатываемых Д и выражения

Знач по умолчан Позволяет указать знач, автоматически вводящееся в поле при создании новой записи. Условие на значение. Определяет множество знач, кот можно вводить в поле таблицы. Сообщени об ошибке. Позволяет указать текст сообщ, выводящегося на экран при вводе недопустимого значения. Обязательное поле. Указывает, требует ли поле обязательного ввода значения. Пустые строки. Определяет, допускается ли ввод в текстовое поле пустых строк (" "). Индексированное поле. Служит для создания индекса. Сжатие Юникод. Разреш или запрещает сжатие Unicode для поля.

Выражения исп-тся при выполнении многих операций Access н-р, при определении условий в запросах и макросах. B-это комбинация знач и операторов, дающая опр результат.

В кач-ве знач в выражениях используют литералы, константы, функции и идентификаторы. Литерал - фактич значение в виде числа, текстовой строки, даты. Константа - не изменяющееся значение. Оператор – операция над значениями в выражении. 4 типа: арифмет, сравнения, логические, сцепления строк. Функция – небольшая программа, кот всегд возвращает знач, являющееся рез-том расчетов или выполн-ния др операций. К функции обращаются по имени, за кот в круглых скобках указывают ее аргументы. Идентификатор-ссылка на значение поля, элемента управления или свойства. Пользователь имеет воз-сть создавать выражения с пом Построителя выражений или путём набора их на клавиатуре.