Веб-бібліотека - головна сторінка


Диомидова Г. Н. Библиографоведение:

Общее библиографоведение (основы теории, истории и организации библиографии). Общее понятие о библиографии и библиографоведение. Библиографическая информация (основные формы ее закрепления и передачи). Библиографическая деятельность (общая характеристика). Информационно-библиографические ресурсы (общая характеристика). Пособия национальной библиографии. Специальные библиографические пособия. Издательские и книготорговые библиографические пособия. Краеведческие библиографические пособия и указатели местной печати. Организация библиографии в Российской Федерации (общие вопросы). Специальное библиографоведение (краткий обзор информационно-библиографических ресурсов по отраслевым комплексам)...

Аболіна Т. Г. Етика: Предмет і завдання етики. Етика як філософська теорія моральності. Предмет етики й особливості етичних знань. Актуальні проблеми етики та їх значення для розв'язання загальнолюдських проблем. Основні етапи й напрями розвитку етики. Періодизація історії етики. Етична проблематика марксистської філософії. Основні лінії розвитку вітчизняної етичної думки. Типологізація етичної думки. Походження та історичний розвиток моралі. Значення філософсько-етичного дослідження процесу походження та розвитку моралі для духовно-морального самовизначення людини. Особливості морального життя в умовах первісно-родової общини. Історичне виділення моралі у сферу вільного вибору особистості між добром і злом...
Батутіна А.П., Ємченко І.В. Експертиза товарів: Якість як основна категорія товарної експертизи. Поняття якості товарів. Фактори формування і збереження якості товарів. Оцінювання якості товарів. Контроль якості товарів. Експертиза товарів. Загальні поняття, предмет, мета, завдання експертизи товарів. Класифікація експертиз. Суб'єкти і об'єкти експертизи, товарів. Методи товарної експертизи. Організація і техніка проведення експертизи. Товарознавча експертиза. Експертиза нормативної і супровідної документації. Експертиза кількості товарів. Експертиза якості товарів. Товарознавча судова експертиза товарів. Митна експертиза товарів. Санітарно-гігієнічна експертиза. Основні поняття санітарно-гігієнічної експертизи...
Мосіяшенко В.А. Українська етнопедагогіка: Загальні основи української етнопедагогіки. Поняття про педагогіку, народну педагогіку, етнопедагогіку. З історії розвитку української етнопедагогіки. Структура української етнопедагогіки. Основні принципи і засоби української етнопедагогіки. Педагогічні погляди народу на виховання підростаючого покоління. Мета, зміст та основні чинники виховання. Засоби та методи виховання. Принципи народного виховання. Самовиховання в житті людини. Етнопедагогіка - основа сучасної національної системи виховання. Виховний ідеал української народної педагогіки. Суть виховного ідеалу. Традиційний український ідеал людини. Тип досконалої людини в українській козацькій педагогіці. Виховний ідеал у творчості Г. Ващенка...
Бабарицька В. К., Малиновська О. Ю. Менеджмент туризму. Туроперейтинг: Понятійно-термінологічні основи туроперейтинга. Подорожі і туризм. Визначення туризму. Поняття «внутрішній туризм». Критерії відокремлення понять «туризм» і «подорожі». Суб'єкти господарської взаємодії в туризмі. Визначення поняття «турист». Поняття «міжнародний (іноземний) турист». Поняття «внутрішній турист». Співвідношення понять «подорожуючий», «відвідувач», «турист» та «одноденний відвідувач». Класифікац і я видів та форм туризму. Туристичні потреби і мотиви туризму. Класифікаційні підходи в туризмі. Туристичний продукт. Специфіка змісту поняття «турпослуга». Відмінність понять «турпослуга» і «турпродукт». Поняття «турпакет». Структура туристичного продукту. Туроперейтинг...
Любіцева О.О. та ін. Туристичні ресурси України: Науково-методичні засади вивчення туристичних ресурсів. Глобальні тенденції розвитку туризму. Місце України на світовому туристичному ринку. Класифікація туристичних ресурсів. Інформаційні джерела та методи обробки інформації. Характеристика туристичних ресурсів. Природно-рекреаційні ресурси. Кліматичні ресурси та умови. Бальнеологічні ресурси. Водні туристичні ресурси. Туристичні ресурси природно-заповідного фонду України. Біотичні туристичні ресурси. Рельєф як туристичний ресурс. Культурно-історичні ресурси. Етнічні ресурси. Інфраструктурні умови використання туристичних ресурсів. Розвиток сфери гостинності. Санаторно-курортне господарство. Транспорт і транспортна інфраструктура. Туристичні підприємства...
Пшенко А.В. Документационное обеспечение управления (Делопроизводство): Роль документационного обеспечения в управлении. Развитие информационных технологий и документов. Роль документационного обеспечения управления в современной организации. Нормативно-правовая база документационного обеспечения управления. Реквизиты документов и общие правила их оформления. Придание юридической силы различным видам документов. Общие требования к бланкам. Особенности оформление наиболее распространенных видов документов. Системы и формы документов. Управление составом документов организации. Технологии документационного обеспечения управления. Типовые технологии документооборота. Структура баз данных документального фонда организации. Технологии работы с конфиденциальными документами...
Семиченко В. А. Психологія спілкування: Функция общения в жизни человека. Структура и виды общения. Общение как психологический фактор развития человека. Взаимоотношения между людьми в процессах общения. Социальная перцепция. Качества, значимые для общения. Техника общения. Межличностные конфликты. Особенности психологического общения. Робота с методиками по изучению особенностей общения. Методики на выявление общительности как потребности в общении. Методики на выявление умения адаптироваться в изменяющихся ситуациях общения. Методики на выявление качеств, значимых для общения. Методики на выявление межличностных отношений. Выполнение упражнений на выявление и уяснение специфики общения. Выявление индивидуальных особенностей, значимых для общения...
Локазюк В. М. Мікропроцесори та мікроЕОМ у виробничих системах: Функціонування, проектування та архітектура мікропроцесорних пристроїв і систем. Загальні відомості про мікропроцесорну техніку. Основні поняття та визначення мікропроцесорної техніки. Класифікація мікропроцесорів та їх основні параметри. Вибір мікропроцесорного комплекту для проектування обчислювальних пристроїв і систем. Загальні питання організації та функціонування мікропроцесорних пристроїв і систем. Структура мікропроцесорних пристроїв і систем. Інтерфейси мікропроцесорних пристроїв і систем. Керування роботою мікропроцесорних пристроїв (систем). Адресний простір. Механізм та способи адресації. Формалізація процесу проектування мікропроцесорних пристроїв і систем...
Оборудование предприятий торговли и общественного питания / Под ред. В.А. Гуляева: Основные сведения о механизмах и машинах. Классификация торгово-технологического оборудования. Машина. Основные понятия, классификация, структурная схема. Структурная схема машины. Механизмы. Основные понятия, классификация, устройство. Рычажные механизмы. Фрикционные передачи. Ременные передачи. Цепная передача. Зубчатые передачи. Муфты. Опоры. Оси и валы. Соединение деталей. Привод машины. Тип и структура. Электромеханический привод. Кинематический и силовой расчет электропривода. Гидропривод. Пневмопривод. Основные технико-экономические характеристики торгово-технологического оборудования. Производительность, мощность и КПД машины. Мощность машины...

Куденко Н. В. Стратегічний маркетинг:

Сутність і сфера стратегічного маркетингу. Місце стратегічного маркетингу в структурі управління фірмою та маркетингом. Основні категорії стратегічного маркетингу. Елементи та види маркетингових стратегій. Маркетингове стратегічне планування. Аналіз маркетингового середовища. Визначення конкурентних переваг. Сутність і склад маркетингового середовища. Фактори маркетингового макросередовища. Фактори маркетингового мікросередовища. Етапи аналізу маркетингового середовища. Аналіз сильних та слабких сторін фірми, маркетингових можливостей та загроз (SWOT-аналіз). Конкурентна перевага фірми. Маркетингові стратегії сегментації та вибору цільового ринку. Виникнення, сутність і зміст STP-маркетингу...

ФОРМАЛИЗАЦИЯ

- отображение содержательного знания в формализованной теории (исчислении). Формализуемое знание должно представлять собой каким-то образом фиксированную совокупность утверждений. Для определенности уместно говорить о формализации некоторой содержательной теории Т. Под теорией в данном случае имеется в виду замкнутая относительно всех своих логических следствий совокупность утверждений, относящихся к соответствующей предметной области. Это означает, что все следствия, которые можно получить в Гв рамках корректных рассуждений, также относятся к теории Т. Возможности формализации теории Т за счет построения соответствующего исчисления (формализованной теории) ФГ, а также взаимоотношения между Г и ФГ, если такую возможность удается некоторым образом реализовать, зависят от ряда обстоятельств. Обычно принципиальную возможность формализации содержательной теории Г связывают с тем, насколько эта теория Г подготовлена к данной операции. Речь идет о ее развитости, достаточной степени эксплицированности ее понятийного аппарата. Возможность формализации существенно возрастает при разрешимости теории, т. е. при существовании процедуры, позволяющей относительно любого сформулированного в языке теории предложения решать, принадлежит оно к теории или нет. Все это важно, но главное, что открывает принципиальную возможность формализации содержательной теории Г, - это выразительные возможности символического языка, с помощью которого предполагается отобразить Т.
Вообще говоря, язык исчисления предикатов позволяет записать в символической форме любое обычное или научное предложение. Для этого достаточно дополнить этот язык символами (константами) используемых в предложении предикатов и, может быть, еще так называемыми функциональными константами, о чем для простоты можно не говорить. Однако иметь возможность осуществить символическую запись любого предложения теории Готнюдь не значит ее формализовать. Для признания того, что ФГформализует Т, необходимыми являются, по крайней мере, следующие три условия: (1) Язык L исчисления, используемого для формализации, должен давать возможность выразить любое предложение А теории Т с помощью некоторой формулы ФТ, которая при содержательной ее интерпретации порождает предложение, которое приемлемо трактовать как выражающее ту же мысль, что и А
(2) Исходные постулаты (аксиомы) ФГпри получении из них теорем должны рассматриваться как цепочки бессодержательных символов, из которых по фиксированным правилам вывода получаются новые цепочки символов (теоремы). Иначе говоря, процесс получения теорем не должен осуществляться на основании очевидности, подтверждаемости практикой и т. п.
(3) Между классом теорем ФТк классом содержательно истинных утверждений теории Г должно быть определенное оговоренное отношение, позволяющее ФТ считать формализацией Г (точнее об этом ниже).
Пункт (2) существенным образом отличает ФГот Г. В Г не обязательно есть фиксированные правила вывода, и для получения новых утверждений можно опираться на содержательный смысл терминов и имеющийся контекст. Если, напр., в Гсодержится утверждение, что событие произошло раньше события то мы обязаны по содержательным основаниям относить к верным утверждениям теории Гтакже и то, что произошло позже а. Вместе с тем мы не обязаны фиксировать это. Иначе в ФТ. Здесь логические связи между отношениями раньше и позже должны быть явным образом отображены. И если указанные отношения обозначаются как "<" и ">" соответственно, то ФГдолжна содержать правило, позволяющее переходить от (<) (>). Очевидно, в ФТ придется указать также на транзитивность указанных отношений. Кратко говоря, в ФГпридется отобразить логику данных отношений, необходимую для описания соответствующей предметной области. При этом сама эта логика может зависеть от того, напр., будет ли считаться время непрерывным или дискретным, бесконечно или конечно делимым, даже если в Г эти вопросы не обсуждаются. Т. о., формализация состоит не просто в том, чтобы осуществить запись Гв некотором символическом языке, но в том, чтобы выявить и отобразить при этом логику, которой будут удовлетворять высказывания с теми терминами, которые фигурируют в Т. Решение такой проблемы является профессиональной задачей логики вообще и может исследоваться независимо от тех или иных конкретно взятых содержательных теорий и задач, связанных с их формализацией. Так, напр., в логике формализуются теории алогических, эпистемических, деонтических, временных и другие модальностей, полные относительно некоторых содержательных семантик. Вопрос о возможности формализации теории Гесть поэтому не только вопрос о готовности к этой процедуре со стороны Г, но и о том, в достаточной ли степени разработан для этой цели имеющийся логический и математический аппарат.
В связи с пунктом (3) надо иметь в виду, что ФГв явном виде содержит всю необходимую для формализации теории Глогику и математику и соответствующий им класс правил или содержательно интерпретируемых теорем, напр., закон контрапозиции импликации: () - >(*) и т. п., которым фактически нет соответствия в Т. Кроме того, Т обычно не детерминирует всех логических взаимоотношений высказываний, содержащих используемую в ^терминологию. Поэтому ФТ практически всегда задает ту или иную экспликацию этой терминологии. Если даже отвлечься от возможности использования в ФГразличных базовых логик и математик, то уже только оправданные содержанием Г логические различия в экспликациях терминологии позволяют построить для одной и той же содержательной теории Г множество альтернативных формализации. При этом теория Гв зависимости от того, какая конкретная формализация будет сочтена адекватной, будет в той или иной степени менять свой смысл. Дело логика указать, чем отличаются возможные альтернативы, но не в его компетенции считать какую-то из них более предпочтительной, не говоря уже более верной. Чтобы иметь возможность содержательного обсуждения теории ФТ, в частности, говорить о ее непротиворечивости, полноте, доказуемости или недоказуемости в ней теорем определенного рода, используется т. н. метаязык (в отличие от языка, на котором сформулирована ФТ), и все верные утверждения такого рода относят к метатеории МФТ.
Проблему формализации содержательной теории Гв ФГможно считать решенной, если в рамках метатеории .МФГудается показать, что каждому истинному в принятой интерпретации предложению Т соответствует доказуемое утверждение (теорема полноты), и наоборот (теорема адекватности). В силу разных причин такого положения не всегда удается добиться. Об этом говорит, в частности, известная теорема К. Геделя (1931) о неполноте непротиворечивой формализованной арифметики. Дело в том, что некоторая формализуемая теория Гможет содержать столь богатый выразительными возможностями язык, что в ее рамках могут строится утверждения о формализующей ее системе ФГи, значит, отображаться в последней. Происходит т. н. замыкание языка и метаязыка. Любая непротиворечивая формализация теории Т оказывается принципиально неполной, так как любое изменение ФГпорождает класс новых содержательно истинных в МФТтл в самой Гпредложений. Именно такого рода теорией Гоказывается содержательная арифметика. В объектном языке формализующей эту арифметику теории ФТ можно строить утверждения о самой этой теории, которые при содержательной интерпретации становятся истинными предложениями теории Т. В ФГвоспроизводится, в частности, некоторая форма парадокса лжеца (см. Парадокс логический), т. к. всегда находится формула, утверждающая свою собственную недоказуемость в ФТ. Такая формула содержательно истинна именно потому, что в ФТ недоказуема. Ее истинность в Г и при этом недоказуемость в ФГговорит о неполноте последней. Теорема Геделя не исключает возможности полной формализации более узких фрагментов математики. Теореме Геделя о неполноте не следует придавать преувеличенного, во всяком случае универсального философского значения и распространять ее следствия на теории, при формализации которых принципиально отсутствуют и не могут возникнуть рассмотренные выше причины, препятствующие полной формализации всех истинных предложений содержательной математики. Лит.: КаиниС. К. Введение в метаматематику. М., 1957.
А. Сидоренко