МНОЖИНИ у Прологу

Лекція 4.4.

СУДОВИЙ ЕКСПЕРТ

В судовому процесі може брати участь судовий експерт.

Експерт - ___________________________________________________________

____________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________. Отже, процесуальна функція експерта полягає у вирішенні проблем формування доказової бази за допомоги спеціальних знань.

Наявність у господарському процесі експерта викликається необхідністю __________________________________________________________________________________________________________________________________________________.

Водночас залучення експерта з метою встановлення змісту норм українського права не допускається. Як зазначається в роз'ясненні Вищого арбітражного суду України від 11.11.98 р. N 02-5/424 "__________________________________________

_________________________________________________", ______________________

_________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________.

Права, обов'язки та відповідальність судового експерта визначаються ГПК та Законом України "Про судову експертизу".

Норми ГПК не встановлюють вимоги до особи судового експерта. Ці вимоги встановлюються ст. 10 Закону України "Про судову експертизу". Судовими експертами можуть бути ___________________________________________________

____________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________.

До проведення судових експертиз, крім тих, що проводяться виключно державними спеціалізованими установами, можуть залучатися також ______________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________.

Особа повинна бути внесена до ________________________________________. Державний реєстр створюється і ведеться Міністерством юстиції України відповідно до _______________________________________________________________________

__________________________________________________________________________________________________________________________________________________ від 15 квітня 1997 р. N 149/7. До реєстру вносяться відомості про фахівців, які одержали в установленому порядку дозвіл на проведення конкретного виду судової експертизи за відповідною експертною спеціальністю.

Як зазначається в ____________________________________________________

__________________________________________________________________________________________________________________________________________________, затвердженому наказом Вищого арбітражного суду України, Міністерства юстиції України від 14 липня 1998 р. N 11/40/5, особа набуває права та несе обов'язки експерта після ____________________________________________________________

__________________________________________________________________________________________________________________________________________________.

Статтею 14 Закону України "Про судову експертизу" визначено засади відповідальності судового експерта: судовий експерт на підставах і в порядку, передбачених законодавством, може бути притягнутий до __________________________________________________________________________________________________________________________________________________.

Кримінальну відповідальність _________________________________________

___________________________________________________________________________________________________________________________________________________________________________________________________________________________.

Судовий експерт зобов'язаний за ухвалою господарського суду з'явитись на його виклик і дати мотивований висновок щодо поставлених йому питань. Висновок робиться у письмовій формі.

Судовий експерт, оскільки це необхідно для дачі висновку, має право знайомитися з матеріалами справи, брати участь в огляді та дослідженні доказів, просити господарський суд про надання йому додаткових матеріалів.

Анотація

Треті особи__________________________________________________________

_______________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________.

Прокурор________________________________________________________________

_____________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________.

Експерт _________________________________________________________________

_____________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________.

Реалізація множин. Операції над множинами: перетворення списку в множину, приналежність елемента множині, об'єднання, перетин, різниця, включення, доповнення.

У даній лекції ми спробуємо реалізувати деяке наближення математичного поняття "множина" у Прологу. Зауважимо, що в Прологу, на відміну від деяких імперативних мов програмування, немає такої вбудованої структури даних, як множина. І, виходить, доведеться реалізовувати це поняття, спираючись на наявні стандартні домени. У якості базового використаємо стандартний списковый домен, прийнявши:

Визначення 1. Множина - список, що не містить повторних входжень елементів.

Фактично, нема жодної реалізації поняття множина, яка б точно відповідала цьому математичному об'єкту. Прийняте визначення – лише наближення до "справжньої" множини. Розглянемо предикати, які реалізують основні теоретико-множинні операції.

Предикат перетворення списку в множину має вилучити всі повторні входження елементів, для чого можна скористатись предикатом delete_all.

Предикат має два аргументи:

§ перший — вихідний список, можливо з повторними входженнями елементів,

§ другий — список, що залишився від вихідного списку після видалення повторних входжень елементів.

Предикат буде рекурсивним.

Базисом рекурсії є очевидний факт - порожній список є множиною згідно визначенню, оскільки у ньому жодний елемент не зустрічається більш одного разу.

Крок рекурсії виконує правило:

щоб зробити з не порожнього списку множину, треба з хвоста T списку вилучити всі входження першого елемента H списку та отриманий список T2 перетворити у множину, застосувавши рекурсивний виклик.

Шуканий список утворюється приписом першого елемента H вихідного списку у якості голови до списку T1, отриманого у результаті виконання рекурсії.

list_set([],[]). list_set ([H|T],[H|T1]):- delete_all(H,T,T2), list_set (T2,T1).

Зауважимо, що нема необхідності в предикаті, який переводить множину у список, тобто зворотному визначеному предикату list_set, оскільки множина (за визначенням 1) вже є списком.

Далі розглянемо прологовську реалізацією основних теоретико-множинних операцій.

У якості реалізації операції (xÎA) приналежності елемента x множині A цілком можна використати предикат member приналежності елемента списку.

Щоб знайти потужність множини (потужність — це кількість елементів у множині), цілком підійде предикат length, що обчислює число елементів списку.

О б'єднання двох множин (розуміється як множина, чиї елементи належать або першій, або другій множині) у математичному записі виглядає в такий спосіб:

AÈB ={x | xÎA або xÎB}.

На рис.1 об'єднання множин A і B позначене штрихуванням.

Рис. 1. Об'єднання множин A і B

У відповідного цій операції предиката має бути три аргументи - множини: перші два — об'єднуємі множини, третій — множина, що є результатом об'єднання двох перших множин. У третій аргумент повинні потрапити всі елементи, які входять в першу або другу множини. При цьому потрібно контролювати, щоб кожне значення увійшло в підсумкову множину лише раз. Без рекурсії не обійдемось і тут. Будемо вести рекурсію по першій з поєднуваних множин.

Базис індукції: результатом об'єднання порожньої множини із деякою множиною є ця друга множина.

Крок рекурсії реалізовано двома правилами. Перше правило визначає ситуацію, коли голова першої множини є елементом другої, друге — коли перше правило не спрацьовує. У першому випадку голова першої множини не додається в результуючу множину, оскільки вона потрапить туди із другої множини. У другому випадку голова першого списку стає головою результуючого.

Дата добавления: 2014-01-11