![](/irbis64r_81/images/db_navy.gif) Віртуальна довідка ![](/irbis64r_81/images/db_navy.gif) Тематичний інтернет-навігатор ![](/irbis64r_81/images/db_navy.gif) Наукова електронна бібліотека ![](/irbis64r_81/images/db_navy.gif) Автореферати дисертацій ![](/irbis64r_81/images/db_navy.gif) Реферативна база даних ![](/irbis64r_81/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis64r_81/images/db_navy.gif) Журнали та продовжувані видання
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>K=ПРЕДИКАТ$<.>) |
Загальна кількість знайдених документів : 990
Представлено документи з 1 до 20
|
| |
| | | | |
1. |
Актуальні проблеми лінгвістики і лінгводидактики : Зб.матеріалів загальноунів. звіт. наук. конф. викл., асп. і студ. філол. ф-ту (15 - 17 трав. 2001 р.). Вип. 2 / ред.: В. Г. Кузь; Уман. держ. пед. ун-т ім. П.Тичини. - К. : Т-во "Знання" України, 2001. - 98 c. - укp.Збірник присвячено актуальним проблемам лексики, словотвору, фразеології, фонетики, діалектології, ономастики, морфології, синтаксису, стилістики та лінгводидактики. Розглянуто семантику та структуру української етнографічної термінології. Окремі статті присвячено специфіці предикативного зв'язку дієприслівника, особливостям наголосу складних прикметників, текстовому оформленню топонімів у староукраїнських грамотах XIV ст., а також стилістичному використанню старослов'янізмів у творчості українських письменників: Т.Шевченка, І.Нечуя-Левицького, П.Тичини та І.Котляревського. Індекс рубрикатора НБУВ: Ш141.4я431
Шифр НБУВ: В343950 Пошук видання у каталогах НБУВ
|
| | | | |
2. |
Никитченко Н. С. Аппликативные композиции частичных предикатов / Н. С. Никитченко // Кибернетика и систем. анализ. - 2001. - № 2. - С. 15-33. - Библиогр.: 19 назв. - рус.Досліджено композиції часткових предикатів граничного конкретного рівня абстракції, які є основою різних інфінітарних логік предикатів. Наведено повний опис таких композицій в термінах спеціальних алгебр Кліні та побудовано повні системи тотожностей для таких композицій. Визначено необхідні та достатні умови застосування правила виведення modus ponens для логік часткових предикатів. Індекс рубрикатора НБУВ: В123
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
| | | | |
3. |
Звонська-Денисюк Л. Л. Внутрішня структура давньогрецької мови: Особливості функціонального синтаксису системи дієслова / Л. Л. Звонська-Денисюк; НАН України. Київ. ун-т ім. Т.Шевченка. - К., 1999. - 82 c. - Бібліогр.: 77 назв. - укp.Предметом дослідження є парадигматична регулярність та нерегулярність явищ системи давньогрецького дієслова на синтаксичному рівні. Проведено зіставний аналіз регулярних та нерегулярних явищ з обгрунтуванням структурно-функціональних закономірностей нерегулярності та застосуванням методу граматичної лінгвогерменевтики оригінальних текстів різножанрового класичного нормативу. У функціонально-семантичному аспекті досліджено особливості дієслівної комбінаторики в системі функціонального синтаксису відмінків, нерегулярних узгоджувальних моделей у системі паратаксису, предикативності дієслівних форм у незалежних синтаксичних конструкціях та при гіпотаксисі. Індекс рубрикатора НБУВ: Ш145.1-212.5
Рубрики:
Шифр НБУВ: ВА589547 Пошук видання у каталогах НБУВ
|
| | | | |
4. |
Масицька Т. Є. Граматична структура дієслівної валентності / Т. Є. Масицька. - Луцьк, 1998. - 208 c. - Бібліогр.: 256 назв. - укp. - рус.Розглядається семантико-синтаксична валентність як найпоказовіший різновид синтаксичної сполучуваності, з'ясовуються семантичні типи дієслівних предикатів і зумовлені їх валентністю класи іменникових синтаксем, простежується інтерпретація синтаксичних трансформацій речень із дієслівними предикатами, проводиться детальный розгляд особливостей лівобічної і правобічної дієслівної валентності, висвітлюються закономірності реалізації валентного потенціалу лексико-граматичних груп дієслів. Індекс рубрикатора НБУВ: Ш102.12 + Ш141.4-212.5
Рубрики:
Шифр НБУВ: Ва585133 Пошук видання у каталогах НБУВ
|
| | | | |
5. |
Лукьянов Б. Д. Граничные задачи в предикатных сетях и сетях из слабоинициальных автоматов / Б. Д. Лукьянов // Кибернетика и систем. анализ. - 1999. - № 2. - С. 43-58. - Библиогр.: 8 назв. - рус.У термінах числення предикатів введено аналог інформаційної мережі, вирішуються прямі та зворотні задачі аналізу її оператора. Досліджено зв'язок працездатності мережі та усякої її підсітки. Індекс рубрикатора НБУВ: З810.2
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
| | | | |
6. |
Попович М. М. Детермінованість/недетермінованість іменника у мовленні (на матеріалі французької мови) / М. М. Попович; Чернів. нац. ун-т ім. Ю.Федьковича. - Чернівці : Рута, 2001. - 347 c. - Бібліогр.: с. 326-346. - укp.Висвітлено лінгвістичну сутність категорії предикативної настанови іменника, формально-понятійні ознаки якої виникають у процесі мовлення в контексті теорії мовного знака. Розкрито змістову структуру категорії у плані діахронії та синхронії. З'ясовано семіологічні закономірності мовленнєвої реалізації її значень. Виявлено й охарактеризовано формальні засоби їх вираження в французькій мові. Індекс рубрикатора НБУВ: Ш147.11-315.6
Рубрики:
Шифр НБУВ: ВА607776 Пошук видання у каталогах НБУВ
|
| | | | |
7. |
Жаборюк О. А. Категорія стану в сучасній англійській мові та індоєвропейський синтаксичний процес : Теорет. аспекти / О. А. Жаборюк. - О. : Маяк, 1998. - 207 c. - Бібліогр.: с. 191-205. - укp.Досліджуються теоретичні аспекти категорії стану в сучасній англійській мові на тлі індоєвропейського синтаксичного процесу. Основним результатом дослідження є створення нової, конвергентної синтаксичної теорії, умовно названої автором теорією логіко-граматичної динаміки. Крізь призму категорій філософії і логіки, зокрема, під кутом зору теорії віддзеркалення, яка найбільш природно "вписується" в синтаксичну систему індоєвропейських мов, зроблено визначення граматичного значення категорії стану в сучасній англійській мові, а також розглянуто цілу низку лінгвістичних проблем, які стосуються не лише англійського, а індоєвропейського синтаксису загалом. Це, передусім, проблеми взаємозв'язку мови, мовлення і мислення, предикації та предикативності, речення та його основних компонентів - підмета, присудка, додатка; взаємозв'язку таких "субстанціальних" членів речення, як підмет та додаток з іменником та особовим займенником, а також проблеми синхронії та діахронії тощо. Індекс рубрикатора НБУВ: Ш143.21-22 + Ш140/159-22
Рубрики:
Шифр НБУВ: ВА586434 Пошук видання у каталогах НБУВ
|
| | | | |
8. |
Волгин Л. И. Континуальные логико-алгебраические исчисления как основа информационных технологий в аналоговой области / Л. И. Волгин // Радіоелектроніка. Інформатика. Управління. - 2000. - № 2. - С. 34-38. - Библиогр.: 76 назв. - рус.Проведен обзор континуального этапа развития логико-алгебраических исчислений. Рассмотрены бесконечнозначная логика Лукасевича, логика исчисления иммитансов Шестакова, АМ-алгебра, непрерывная логика, предикатная алгебра выбора, комплементарная алгебра как эффективные направления построения моделей и аппаратурной реализации средств искусственного интеллекта, информационных технологий и расширения интеллектуальных возможностей объектов проектирования. Індекс рубрикатора НБУВ: З844с116
Шифр НБУВ: Ж16683 Пошук видання у каталогах НБУВ
|
| | | | |
9. |
Хоменко І. В. Логіка - юристам : Підруч. для студ. / І. В. Хоменко. - К. : Четверта хвиля, 1998. - 391 c. - Бібліогр.: с. 376-386. - укp.Викладаються основні положення сучасної логіки. Розглядаються як матеріали класичної логіки: логіка висловлювань та логіка предикатів, так і матеріали некласичної логіки: модальна логіка (алетична, темпоральна, епістемічна, деонтична), логіка індивідуальної дії, логіка взаємодії, логіка соціальної дії, логіка норм, заснована на теорії взаємодії, логіка імперативів, логіка запитань і відповідей. Дається загальна характеристика поняття, визначення, описуються основи теорії аргументації, її структура та види. Містяться практикуми до всіх теоретичних розділів, різноманітні тести та завдання, які спрямовані на визначення рівня сформованості й розвитку логічної культури мислення людини, а також словник основних термінів логіки. Індекс рубрикатора НБУВ: Ю4я73
Шифр НБУВ: ВА587848 Пошук видання у каталогах НБУВ
|
| | | | |
10. |
Хоменко І. В. Логіка в задачах : Підруч. / І. В. Хоменко. - К. : Четверта хвиля, 1998. - 283 c. - Бібліогр.: с. 271-280. - укp.Представлено комплекс логічних вправ для розвитку особистого інтелекту. Містяться численні логічні задачі, виконання яких допоможе активно засвоїти теоретичний курс з логіки. Зібрані запитання, вправи, завдання, тести з різноманітних розділів традиційної і сучасної логіки ("Логіка висловлювань", "Логіка предикатів", "Модальна логіка", "Дедуктивні міркування", "Недедуктивні міркування", "Основи теорії аргументації" та ін.), спрямовані на визначення рівня інтуїтивно сформованої логічної культури мислення людини. Мета пропонованого посібника - допомогти оволодіти основними схемами правильних міркувань, навчити грамотно застосовувати на практиці логічні закони, визначати, поділяти, класифікувати поняття, переконливо обстоювати власну точку зору і критикувати точку зору опонента, значно вдосконалити свою логічну культуру мислення. Наведений словник основних термінів логіки. Індекс рубрикатора НБУВ: Ю4 я73-4
Рубрики:
Шифр НБУВ: ВА586172 Пошук видання у каталогах НБУВ
|
| | | | |
11. |
Конверський А. Є. Логіка : Підруч. для студ. вищ. навч. закл. / А. Є. Конверський. - К. : Укр. Центр духов. культури, 1999. - 399 c. - Бібліогр.: 32 назв. - укp.Систематизовано і дидактично розкрито предмет, метод логіки, основні форми та закони мислення. Значну увагу приділено логічному аналізу природної мови, який підводить до розуміння побудови формалізованої логічної мови, а також забезпечує емпіричну основу для опису форм висновків і доведень у межах спеціальних формалізованих мов. Розглянуто передумови виникнення сучасної логіки, обгрунтовано поділ класичної логіки на логіку висловлювань та логіку предикатів. Здійснено типологію й аналіз формально-логічних теорій у межах логіки висловлювань та логіки предикатів. Індекс рубрикатора НБУВ: Ю4 я73
Рубрики:
Шифр НБУВ: ВА594776 Пошук видання у каталогах НБУВ
|
| | | | |
12. |
Таран Т. А. Основы дискретной математики : Учеб. пособие / Т. А. Таран; Нац. техн. ун-т Украины "Киев. политехн. ин-т". Каф. прикл. математики. - К. : Просвіта, 1998. - 148 c. - Библиогр.: 50 назв. - рус.Изложены теоретические сведения о ключевых понятиях дискретной математики - множествах, отображениях, функциях, мощности множеств, отношении порядка, решетках, графах. Рассмотрены основы теории отношений, представлений, предикатов первого порядка, формальных теорий, булевой алгебры, формальной арифметики. Індекс рубрикатора НБУВ: В126 я73-1
Рубрики:
Шифр НБУВ: ВС34531 Пошук видання у каталогах НБУВ
|
| | | | |
13. |
Проблемы бионики : Всеукр. межвед. науч.-техн. сб. Вып. 49 / ред.: М. Ф. Бондаренко; Харьк. гос. техн. ун-т радиоэлектрон. - Х., 1998. - 239 с. - рус.Розглядаються проблеми біоніки інтелекту. Подано результати моделювання процесу обробки словоформ та морфологічних відношень, формалізації нечітких та суперечливих знань. Описано різні алгебри предикатних операцій, зіставлено системи переробки інформації комп'ютером і людиною. Висвітлюються принципи побудови двомовного універсального словника, методологія розробки програмних моделей, методи оцінки релевантності інформаційних структур в базі знань, математичні моделі побудови віртуальних просторів. Представлено апаратурний метод розв'язання логічних рівнянь, задачі розпізнавання аварій і таксономії в енергосистемах, розглянуто перспективний шлях формалізації подання суперечливої інформації для багатоаспектних концептуальних класифікаційних структур та ін. Індекс рубрикатора НБУВ: Е0*718.1 + З818я5
Рубрики:
Шифр НБУВ: Ж61547 Пошук видання у каталогах НБУВ
|
| | | | |
14. |
Глибовець М. М. Програмування в Пролозі : Навч. посіб. для студ. ф-ту кібернетики / М. М. Глибовець, І. В. Кравченко, О. В. Олецький, В. М. Терещенко; Київ. ун-т ім. Т.Шевченка. - К. : Київ. ун-т, 1998. - 110 c. - Бібліогр.: 3 назв. - укp.Висвітлюються основні підходи і засоби програмування в Пролозі (мова логічного програмування) з використанням різноманітних структур даних у програмуванні та їх застосування при побудові ефективних алгоритмів. Наведена загальна характеристика логічного програмування і математичної основи логічних мов програмування. Особлива увага приділяється питанням побудов виведення. Описуються базові структури мови, методи їх використання, аналіз роботи зі змінними, розглядається спосіб їх співставлення, а також наведено контрольні задачі. Аналізуються базові структури програми і процес бектрекінгу, основні підходи до побудови керування, методи зміни стандартного процесу виконання програми за рахунок використання предикатів cut, fail, not. Дається характеристика основ побудови складних структур даних і їх застосування (продукційні системи, семантичні мережі, фрейми). Викладені основні підходи до реалізації ітераційних дій, рекурсії, моделювання циклів тощо. Індекс рубрикатора НБУВ: З970.5-018.2 я73 + З973-018.2 "пролог" я73
Рубрики:
Шифр НБУВ: ВА588670 Пошук видання у каталогах НБУВ
|
| | | | |
15. |
Никитченко Н. С. Пропозициональные композиции частичных предикатов / Н. С. Никитченко // Кибернетика и систем. анализ. - 2000. - № 2. - С. 3-19. - Библиогр.: 16 назв. - рус.Визначено та досліджено композиції часткових предикатів граничного високого рівня абстракції, які є основою інфінітарних пропозиційних логік. Наведено повний опис таких композицій в термінах спеціальних алгебр, названих алгебрами Кліні, та побудовано повну систему тотожностей для таких композицій. Індекс рубрикатора НБУВ: В123
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
| | | | |
16. |
Південний архів. Філологічні науки : Зб. наук. пр. Вип. 9 / ред.: О. Мішуков; Херсон. держ. пед. ун-т. - Херсон, 2001. - 341 с. - укp.Розглянуто питання мовознавчої історіографії, граматики та словотвору. Визначено параметри семантико-синтаксичної структури елементарних двоскладних речень з дієслівними предикатами. Висвітлено особливості формування давньоруських складних гідронімів, семантичні особливості полісемічних фразеологізмів у співвідношенні з частинами мови. Розкрито семантичну структуру ойконімії південно-східної Волині. Наведено структурно-дериваційні типи зоолексем української мови. Викладено результати дослідження проблеми мовного побуту міста. Відображено тенденції сучасної поетики. Проаналізовано вплив українських синтаксичних норм на мову прозових творів українських письменників, написаних російською мовою. Розглянуто актуальні проблеми методики української мови та літератури. Висвітлено українську лірику у взаємозв'язку з зарубіжною як важливий напрям якісного реформування викладання рідної літератури у середніх навчальних закладах. Охарактеризовано роль літератури у культуротворчій діяльності студентської молоді. Індекс рубрикатора НБУВ: Ш.я54(4Укр)3
Рубрики:
Шифр НБУВ: Ж68783 Пошук видання у каталогах НБУВ
|
| | | | |
17. |
Полонский А. Д. Различение случайных сигналов одного класса на основе инвариантной алгебры ранговых предикатов / А. Д. Полонский // Изв. вузов. Радиоэлектроника . - 2000. - 43, № 3. - С. 38-42. - Библиогр.: 2 назв. - рус.Предложена инвариантная алгебра ранговых предикатов, на основе которой построено правило различения двух независимых случайных сигналов с равномерным распределением мгновенных значений, являющееся более мощным и простым в реализации, чем известное правило возведения мгновенных значений сигналов в степень. Індекс рубрикатора НБУВ: З811.74
Рубрики:
Шифр НБУВ: Ж27665/рад. эл. Пошук видання у каталогах НБУВ
|
| | | | |
18. |
Нікітченко М. С. Семантичні аспекти посткласичних логік / М. С. Нікітченко, С. С. Шкільняк // Пробл. программирования. - 2001. - № 1-2. - С. 3-12. - Бібліогр.: 13 назв. - укp.Побудовано спеціальні композиційно-номінативні логіки предикатів, названі неокласичними та посткласичними, які зберігають основні властивості класичної логіки. Досліджено семантичні моделі таких логік, проаналізовано відношення між класичними, неокласичними та посткласичними логіками. Індекс рубрикатора НБУВ: З973-047.20
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
| | | | |
19. |
Синтаксична природа генітивних односкладних речень : Навч. посіб. / уклад.: Л. С. Рабанюк; Чернів. держ. ун-т ім. Ю.Федьковича. - Чернівці, 1999. - 40 c. - Бібліогр.: 55 назв. - укp. - рус.Розглядаються генітивні речення в типології синтаксичних конструкцій, їх граматична та семантична структура. Наведено поняття про структурну схему генітивних речень, висвітлено зміст граматичних категорій предикативності і модальності, їх вираження в генітивних реченнях, а також поняття про парадигму генітивних речень та їх модель. Індекс рубрикатора НБУВ: Ш141.4-932.22
Шифр НБУВ: Р86579 Пошук видання у каталогах НБУВ
|
| | | | |
20. |
Таращанский М. Т. Теория алгоритмов : Учеб. пособие / М. Т. Таращанский; Восточноукр. нац. ун-т. - Луганск, 2001. - 152 c. - Библиогр.: 23 назв. - рус.Висвітлено теорію множин, алгебру висловлень і предикатів, елементи комбінаторики, рекурсивні функції, машини Тьюринга. Розглянуто частково рекурсивні та примітивно рекурсивні функції, а також рекурсивно перераховані множини. Наведено критерії оборотності, тотожної істинності та хибності. Розкрито основний принцип комбінаторики, основні комбінаторні поняття, залежності між операціями. Запропоновано формули алгебри висловлювань. Індекс рубрикатора НБУВ: З815.6 я73-1 + В195 я73-1
Рубрики:
Шифр НБУВ: ВА605140 Пошук видання у каталогах НБУВ
| | |
|
|