Теорія доказів
Теорія доказів - Теорія доказів це розділ математичної логіки, що представляє докази у вигляді формальних математичних об'єктів, здійснюючи їх аналіз за допомогою математичних методів. Докази зазвичай надаються у вигляді індуктивно… … Вікіпедія
теорія доказів - - [Л.Г.Суменко. Англо-український словник з інформаційних технологій. М.: ДП ЦНИИС, 2003.] Тематики інформаційні технології загалом EN proof theory … Довідник технічного перекладача
Математична теорія доказів - Теорія доказів (англ. proof theory) розділ математичної логіки, в якому феномен математичного доказу сам стає об'єктом, наприклад алгебри або арифметики. Доказ зазвичай подають як такі, що індуктивно виникають… … Вікіпедія
Формальна теорія доказів — Формальна теорія доказів один із варіантів устрою норм про оцінку доказів у судовому процесі. У кримінальному процесі його сутність полягає в тому, що для визнання злочину скоєним і вини підсудного доведений суд.
ДОКАЗІВ ТЕОРІЯ — ДОВІД ТЕОРІЯ розділ сучасної математичної логіки, що вивчає властивості та перетворення формальних доказів, тобто формальних об'єктів, синтаксична правильність яких гарантує семантичну. Це визначення уніфікує … Філософська енциклопедія
ТЕОРІЯ — (від грец. theoria розгляд, дослідження) сукупність висловлювань, замкнутих щодо логічного слідування. Таке гранично загальне та найбільш абстрактне визначення Т. дає логіка. З логічної т.зр. теорією можна назвати будь-яке ... Філософська енциклопедія
Теорія струн — Теорія суперструн Теорія … Вікіпедія
Теоріякатастроф (Арнольд) - Теорія катастроф книга, написана В.І. Арнольдом в 1990 (3-е видання, перший неповний варіант книги вийшов ще на початку 1980-х) і присвячена викладу теорії катастроф. Зміст 1 Структура 2 Зміст … Вікіпедія
Теорія несподіваної корисності Теорія, згідно з якою ймовірності входять нелінійним чином у функцію корисності. Незважаючи на широту застосування, теорія очікуваної корисності та теорія суб'єктивної очікуваної корисності багаторазово ... Вікіпедія
Теорія природного права — Теорія природного права право в людини виникає від народження та природи, який має невід'ємні природні права (право на життя, свободу, рівність), які не можна скасувати, змінити. Закони відповідають моральним… … Вікіпедія