Індекс рубрикатора НБУВ: В379.224

Рубрики:

Склоподібні напівпровідники

Шифр НБУВ: Ж26988 Пошук видання у каталогах НБУВ 

Запропоновано формально-логічну систему (в якій вислови природної мови поставлені у відповідність до виразів булевої алгебри) з метою виділення різних видів загальних, часткових, кількісно невизначених висловів, а також формулювання для них правил виведення. Розглянуто види простих висловів, розкрито їх суть. Проаналізовано формально-логічні системи традиційної та математичної логіки. Викладено правила виведення знань з одного висновку, а також однозначних і неоднозначних висновків із двох засновків.

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

Ключ. слова: тонка плівка, аморфний, електропровідність, термоелектрорушійна сила, структура, рідкоземельний
Індекс рубрикатора НБУВ: К222.026

Шифр НБУВ: Ж26618 Пошук видання у каталогах НБУВ 

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

Проанализированы методы формирования гипотез в научной познавательной деятельности. Охарактеризованы научно-образное и словесно-понятийное мышление, особенности создания знаний на основе логических схем и действий воображения. Рассмотрены проблемы фиксирования отношений между множествами в случае символьной записи простых повествовательных предложений, формирования предположений как согласования знаний, использования систем аксиом для генерирования предположений. Освещены теоретические основы построения систем аксиом для произвольного количества признаков.

Наведено метод формулювання правил виведення для двозначної пропозиційної логіки у разі, коли логічна ймовірність висновку є меншою від 100 %. Сформульовано узагальнення щодо принципів побудови правил формулювання припущень на підставі різних логічних теорій.

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

Досліджено методи формування гіпотез на підставі аналізу матеріалу з історії пізнавальної діяльності, зокрема, мислення людей, які перебувають на низькому шаблі соціального розвитку, а також прикладів побудови теоретичних систем знання. Вивчено процес формування припущень з використанням наочно-образного мислення та формально-логічного інструментарію. На основі аналізу формально-логічних методів творення припущень розроблено інтерпретацію булевих функцій як однозначних відношень між множинами. Запропоновано критерій логічного висновку, позбавлений недоліків метатеореми дедукції. Розроблено систему аксіом для системи правил, сформованих на базі інтерпретації булевих функцій як однозначних відношень між множинами. На підставі аналізу історико-наукового матеріалу розроблено схему міркувань з використанням методу абдукції. Запропоновано підхід до аналізу методів індукції та аналогії, що грунтується на формальному апараті неповністю визначених булевих функцій.

Розглянуто історію розвитку, предмет, основні поняття та закони логіки, показано її місце серед інших дисциплін. Розкрито особливості логічного аналізу тверджень, означень і спонукань. Увагу приділено видам несумісності знань, елементам і структурі простих тверджень, методам систематизації та формування припущень, загальним умовам істинності висновків, створенню класифікаторів, видам і структурі норм, логіці питань.

Рассмотрены история развития, предмет, основные понятия и законы логики, показано ее место среди других дисциплин. Раскрыты особенности логического анализа утверждений, определений и побуждений. Уделено внимание видам несовместимости знаний, элементам и структуре простых утверждений, методам систематизации и формирования предположений, общим условиям истинности выводов, созданию классификаторов, видам и структуре норм, логике вопросов.

Проаналізовано шляхи формування світогляду, адекватного до дійсності, за умов плюралізму світоглядних концепцій. Обгрунтовано, що для досягнення зазначеної мети треба сформувати гносеологічну частину світогляду.

Досліджено терміни культурна цінність та об'єкт культурної спадщини. Проаналізовано зміст цих термінів. Зіставлено зміст термінів з їх означеннями, які містяться в законодавчих актах. Зроблено висновок про необхідність внесення термінологічних змін щодо термінів культурна цінність та об'єкт культурної спадщини в законах України.

Обгрунтовано важливість формування курсів логіки для ВНЗ на основі мисленнєвої практики у середній школі. Викладено результати дослідження різних форм абстрактного мислення (означень, класифікацій, умовиводів та ін.), які в явному чи неявному вигляді містяться в підручниках для середньої школи. Сформульовано основні напрями використання цих знань у процесі викладання логіки у ВНЗ.

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

Проаналізовано мову праць Ю. Шевельова в контексті змін, що відбулися в українській науковій мові під впливом багатьох чинників, зокрема позанаукових. Викладено настанови щодо укладання російсько-українських словників відповідно до вимог національних стандартів України. Приділено увагу термінологічній системі "Енергозбереження в теплопостачанні" в контексті когнітивного підходу до створення тримовного словника. Розглянуто структуру українсько-англійського словника з радіоелектроніки. З'ясовано зміст термінів "реконструкція" та "реструктуризація" в містобудівних стратегіях розвитку виробничої території міста. Вивчено становлення та розвиток української фармацевтичної термінології. Досліджено уживання запозичених термінів у сфері менеджменту персоналу. Визначено роль соціальних факторів у формуванні лексико-семантичної мікросистеми вокального мистецтва. Охарактеризовано використання терміна "підкуп" за конструювання диспозиції кримінально-правових норм.

Проаналізовано різні способи формулювання дефініцій з погляду виявлення такого способу, використання якого забезпечуватиме коректність дефініцій відповідно до завдань тлумачного словника (повідомлення набору унікальних ознак для відрізнення позначуваного від інших об'єктів; повідомлення найістотніших ознак для задоволення пізнавальних потреб людини; доступність дефініції терміна для розуміння її нефахівцем з даної галузі знань). Зроблено висновок про доцільність використання у тлумачних словниках наукових дефініцій.

Індекс рубрикатора НБУВ: Ч737.215.12 в3

Рубрики:

"Універсальна десяткова класифікація" (УДК)

Шифр НБУВ: Ж15184 Пошук видання у каталогах НБУВ 

Проаналізовано предмет діяльності спеціальностей "Музейна справа" та "Охорона пам'яток історії та культури". Виявлено спільні та відмінні компоненти предметів діяльності цих галузей. Обгрунтовано 2 синонімійні варіанти формулювання узагальненого предмета діяльності для спеціальності "Музейна справа та охорона пам'яток історії та культури".

Виконано пошук шляхів уникнення колових дефініцій у тлумачних словниках. Запропоновано таке рішення цієї проблеми: для частини слів, які є назвами простих ознак, сформувати дефініціями наочно-образне чи предметно-дієве значення; за допомогою цих слів треба сформувати дефініціями таке ж значення складних ознак; за допомогою назв простих і складних ознак треба сформувати дефініціями абстрактне значення назв об'єктів.

У ході дослідження з'ясовано джерела сористичних парадоксів. Обгрунтовано пропозиції щодо внесення в дефініції слів із неясною семантикою такої інформації, яка в разі її врахування внеможливлюватиме несвідоме формування сористичних парадоксів. Сформульовано пропозицію щодо уточнення дефініції поняття "купа".

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

Проаналізовано принципи спрощення/ускладнення виознак (дефініцій). Викладено структуру виознак без родових понять, які є доступними для дітей дошкільного віку. Обгрунтовано принципи укладання тлумачного словника для дітей із різним ступенем пізнавального розвитку.