Веб-бібліотека

Батутіна А.П., Ємченко І.В. Експертиза товарів:

Якість як основна категорія товарної експертизи. Поняття якості товарів. Фактори формування і збереження якості товарів. Оцінювання якості товарів. Контроль якості товарів. Експертиза товарів. Загальні поняття, предмет, мета, завдання експертизи товарів. Класифікація експертиз. Суб'єкти і об'єкти експертизи, товарів. Методи товарної експертизи. Організація і техніка проведення експертизи. Товарознавча експертиза. Експертиза нормативної і супровідної документації. Експертиза кількості товарів. Експертиза якості товарів. Товарознавча судова експертиза товарів. Митна експертиза товарів. Санітарно-гігієнічна експертиза. Основні поняття санітарно-гігієнічної експертизи...

Карпіловська С.Я. та ін. Основи професіографії: Теоретичні основи професіографії. Професіографія та її місце в системі професійної орієнтації населення. Класифікація професій. Методичні основи професіографії. Методи професіографії. Опитувальні листи для виявлення професійно важливих якостей спеціалістів. Професії типу "людина - людина". Загальна характеристика типу професій. Професіограма контролеракасира. Професіограма медсестри широкого профілю. Професіограма вихователя дитячого садка. Професії типу "людина - техніка". Загальна характеристика типу професій. Професіограма наладчика. Професіограма водія (на матеріалі дослідження праці водія міського транспорту). Професіограма токаря...
Зубенко Л.Г. та ін. Ділові папери в менеджменті: Документ - основний вид офіційно-ділового стилю. Історія розвитку діловодства. Виникнення справочинства. Актове діловодство. Приказне діловодство. Колегіальне діловодство. Виконавче діловодство. Радянське діловодство. Діловодство в Україні. Вимоги до оформлення реквізитів документа. Реквізит - елемент документа. Вимоги до тексту документів. Написання цифр та символів у ділових паперах. Загальна документація. Довідково-інформаційні документи. Розпорядчі документи. Організаційні документи. Спеціалізована документація. Документи з організації зовнішньоекономічної діяльності. Документи з господарської діяльності. Господарсько-договірні документи. Договори щодо створення нових форм господарювання...

ЛУКАСЕВИЧ (LUKASIEWICZ) Ян (1878-1956)

- польский логик и философ, профессор Львовского и Варшавского университетов (1915-1939), с 1949 - Дублинского униврситета (Эйре), где он читал лекции по логике Аристотеля. Л. разработал первую систему многозначной логики - трехзначную логику высказываний (1920). В качестве третьего логического значения высказывания было введено значение, выражаемое словами "вероятно", "нейтрально". О каждом высказывании в системе Л. можно сказать: оно либо истинно (1), либо ложно (0), либо нейтрально (1/2). Это стало возможным благодаря тому, что Л. одним из первых, независимо от русского логика Н.А. Васильева, выдвинул тезис о возможности построения логических исчислений, в которых не действует принцип непротиворечивости. На основании трехзначной логики Л. построил систему модальной логики, в которой наряду с исследованием логических операций над ассерторическими высказываниями (утверждениями и отрицаниями) исследуются так называемые модальные высказывания (сильные и слабые утверждения и отрицания). В 1929 выходят "Элементы математической логики", в 1930 - совместный с Тарским труд "Исследование по исчислению высказываний", в 1938 - "Логика и ее основные проблемы". В 1954 Л. разработал четырехзначную систему логики, а затем - бесконечнозначные (n-значные) логические системы, в которых множество истинностных значений счетно-бесконечно или имеет мощность континуума (множества). В качестве истинностных значении выступают рациональные числа из отрезка (О, 1). Моделями бесконечнозначных логик Л. являются им же разработанные алгебры. Л. разработал способ формализации аристотелевской силлогистики, изложив ее в терминах, принятых современной математической логикой. Фор-мализированная система дает представление силлогистики в виде логического исчисления естественного вывода. В своих логических исследованиях Л. применял разработанную им бесскобочную символику (для исключения из формализованного языка скобок), в которой элементарные высказывания обозначаются малыми буквами латинского алфавита, а логические операторы - большими буквами того же алфавита (N-отрицание, К-конъюнкция, А - неисключающая дизъюнкция, С - импликация, R - эквивалентность).
С.В. Воробьева


© 2009-2020  lib.ltd.ua