Віртуальна довідка Тематичний інтернет-навігатор Наукова електронна бібліотека Автореферати дисертацій Реферативна база даних Книжкові видання та компакт-диски Журнали та продовжувані видання
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>K=ПРЕДИКАТ$<.>) |
Загальна кількість знайдених документів : 37
Представлено документи з 1 до 20
|
| |
| | Тип видання: навчальний посібник | | |
1. |
Гильберт, Д. Основы теоретической логики [Електронний ресурс] : пер. с нем. / Д. Гильберт, В. Аккерман. - М. : Гос. изд-во иностранной литературы, 1947. - 306 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Теоретическая логика, называемая также математической или символической логикой, есть применение формального метода математики к области логики. Она применяет к логике тот же язык формул, который уже издавна употребляется для выражения математических отношений. В настоящее оремя было бы утопией при построении какой-либо математической дисциплины пытаться обойтись лишь обычным языком
Кл.слова: висловлювання -- предикат
| | Тип видання: навчальний посібник | | |
2. |
Калужнин, Л. А. Что такое математическая логика? [Електронний ресурс] / Л. А. Калужнин. - М. : Наука, 1964. - 152 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Настоящая книга является популярным изложением математической логики, приобретающей все большее значение в связи с развитием автоматизации производственных процессов. В отличие от имеющихся книг по математической логике данная книга не требует для своего понимания знаний, превосходящих школьный курс математики.
Кл.слова: логіка висловлювань -- логіка предикатів
| | Тип видання: методичний посібник | | |
3. |
Робинсон, А. Введение в теорию моделей и математику алгебры [Електронний ресурс] / А. Робинсон. - М. : Наука, 1967. - 376 с.. - (Математическая логика и основания математики)
Рубрики:
Повний текст доступний у читальних залах НБУВ
Понятие модели возникло в математике еще в девятнадцатом веке. Вплотную к нему подошел Н. И. Лобачевский, но в полной мере оно появилось в работах Э. Бельтрами и Ф. Клейна, посвященных непротиворечивости геометрии. В дальнейшем понятие модели развивается и уточняется в связи с развитием формальных теорий и становится одним из основных понятий семантики символических языков. Современная формулировка понятия модели и других понятий семантики (например, понятия истинности формулы узкого исчисления предикатов, понятия теории классов алгебраических систем и др.) сложилась в конце двадцатых и в начале тридцатых годов в работах Д. Гильберта и А. Тарского. К тому же времени на основе фундаментальных работ Д. Гильберта и развития его идей в математической логике были получены и основные теоремы: теорема Гёделя о полноте узкого исчисления предикатов, локальная теорема Мальцева, теорема Левенгейма — Сколема, теорема о расширении моделей и др. Естественно возникла идея применения этих достижений в математике. Формальные системы, изучаемые в математической логике, являются примерами алгебр с частичными операциями, и основные теоремы о формальных системах, основные методы математической
Кл.слова: теорія -- модель -- математика
| | Тип видання: навчальний посібник | | |
4. |
Робинсон, Авраам. Введение в теорию моделей и метаматематику алгебры [Електронний ресурс] / А. Робинсон. - М. : Наука, 1967. - 376 с.. - (Математическая логика и основания математики)
Рубрики:
Повний текст доступний у читальних залах НБУВ
Понятие модели возникло в математике еще в девятнадцатом веке. Вплотную к нему подошел Н. И. Лобачевский, но в полной мере оно появилось в работах Э. Бельтрами и Ф. Клейна, посвященных непротиворечивости геометрии. В дальнейшем понятие модели развивается и уточняется в связи с развитием формальных теорий и становится одним из основных понятий семантики символических языков. Современная формулировка понятия модели и других понятий семантики (например, понятия истинности формулы узкого исчисления предикатов, понятия теории классов алгебраических систем и др.) сложилась в конце двадцатых и в начале тридцатых годов в работах Д. Гильберта и А. Тарского. К тому же времени на основе фундаментальных работ Д. Гильберта и развития его идей в математической логике были получены и основные теоремы: теорема Гёделя о полноте узкого исчисления предикатов, локальная теорема Мальцева, теорема Левенгейма — Сколема, теорема о расширении моделей и др.
Кл.слова: алгебра -- теорія функцій
| | Тип видання: навчальний посібник | | |
5. |
Столл, Р. Р. Множества. Логика. Аксиоматические теории [Електронний ресурс] : пер. с англ. / Р. Р. Столл. - М. : Просвещение, 1968. - 231 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Математической логики (элементы логики высказываний и логики предикатов), оснований математики (аксиоматический метод) и теории булевых алгебр. Имеется большое число упражнений учебного характера.
Кл.слова: аксіома -- булева алгебра
| | Тип видання: підручник | | |
6. |
Пензов, Ю. Е. Элементы математической логики и теории множеств [Електронний ресурс] / Ю. Е. Пензов. - Саратов : Изд-во Саратовского ун-та, 1968. - 143 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Настоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 1962-66 гг. В параграфе 1 вводятся основные понятия теории множеств. В параграфах 2 и 3 излагаются элементы содержательного исчисления высказываний и предикатов. Содержательное исчисление предикатов представляет наибольшие трудности, этот раздел занимает в книге значительное место. Формальное исчисление высказываний и предикатов не затрагивается. В параграфах 4 и 5 логика предикатов применяется для построения начал алгебры подмножеств и теории бинарных отношений. В 6-ом на основе теории бинарных отношений излагаются начальные сведения по теории отображений и преобразований множеств.
Кл.слова: алгебра -- математична логіка -- теорія множин
| | Тип видання: методичний посібник | | |
7. |
Гохман, А. В. Сборник задач по математической логике и алгебре множеств [Електронний ресурс] / А. В. Гохман, М. А. Спивак, В. В. Розеи. - Саратов : Изд-во Саратовского ун-та, 1969. - 90 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также исчислению высказываний и предикатов. Большая часть задач двух последних параграфов связана с бинарными отношениями, которые получают все большее применение в различных областях математики. Задачник снабжен ответами и указаниями, каждому разделу предпослано небольшое теоретическое введение.
Кл.слова: булева алгебра -- схема -- теорія
| | Тип видання: підручник | | |
8. |
Мендельсон, Э. Введение в математическую логику [Електронний ресурс] : пер. с англ. / Э. Мендельсон ; под ред. С. И. Адяна. - М. : Наука, 1971. - 320 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
В книге Э. Мендельсона дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутствующие в книге С. К. Клини «Введение в метаматематику», которая до настоящего времени служила наиболее полным пособием по математической логике. Следует однако отметить, что в отличие от книги С. К. Клини в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики.
Кл.слова: логіка висловлювань -- предикат
| | Тип видання: навчальний посібник | | |
9. |
Гиндикин, С. Г. Алгебра логики в задачах [Електронний ресурс] / С. Г. Гиндикин. - М. : Наука, 1972. - 288 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
В книге рассмотрены, главным образом, три круга вопросов: проблемы полноты и функционально замкнутых классов, проблеммы синтеза и оценки сложности схем, теория вероятностей на конечных булевых алгебрах.
Кл.слова: математична логіка -- ймовірносна логіка -- логіка предикатів
| | Тип видання: монографія | | |
10. |
Слинько, Илларион Илларионович. Історичний синтаксис української мови [Електронний ресурс] / І. І. Слинько. - К. : Вища школа, 1973. - 216 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
У посібнику розглядаються такі важливі питання історії простого речення української мови, як розвиток орудного предикативного та напівпредикативного на місці подвійних відмінків, уживання різних засобів вираження присвійності, зміни безприйменникових та прийменникових сполучень з об'єктним значенням у придієслівній позиції тощо. Висновки зроблено на основі дослідження переважної більшості відомих історичних пам'яток української мови XIV — XVIII ст.
Кл.слова: словосполучення -- речення -- предикативність -- лінгвістика
| | Тип видання: підручник | | |
11. |
Нильсон, Н. Искусственный интеллект [Електронний ресурс] : методы поиска решений : пер. с англ. / Н. Нильсон. - М. : Мир, 1973. - 270 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Книга Нильсона написана как учебник, посвященный методам поиска решений в пространстве состояний, — главной теме в исследованиях по искусственному интеллекту. В ней излагаются основные теоретические результаты и для их иллюстрации разбираются многочисленные примеры решения задач —игра в 15, игра тик-так-ту, задача о коммивояжере, задача о пирамидке, доказательство теорем и др. Для чтения книги требуются небольшие познания по теории графов, комбинаторике и исчислению предикатов. Доступность изложения и тщательно подобранные задачи различной трудности делают книгу полезной студентам и аспирантам, специализирующимся по искусственному интеллекту. Она будет интересна и специалисту как обстоятельный обзор большого числа современных работ, рассеянных по журналам, трудам конференций и отчетам.
Кл.слова: математика
| | Тип видання: навчальний посібник | | |
12. |
Бродский, И. Н. Отрицательные высказывания [Електронний ресурс] / И. Н. Бродский. - Ленинград : Изд-во Ленинградского ун-та, 1973. - 104 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Работа посвящена философскому и логико-семантическому анализу познавательного значения и логических функций отрицательных высказываний. В ней рассматривается история вопроса о смысле отрицательных высказываний, роль отрицательных высказываний в структуре научного знания, так называемый "парадокс несуществования", а также дается критика некоторых современных буржуазных философских теорий смысла отрицания. Значительное место в работе занимает анализ отрицания в так называемой "логике неточных предикатов". Работа рассчитана на студентов и аспирантов философских факультетов, а также иа всех интересующихся философскими проблемами логики.
Кл.слова: логічна функція -- парадокс неіснування
| | Тип видання: підручник | | |
13. |
Такеути, Г. Теория доказательств [Електронний ресурс] : пер. с англ. / Г. Такеути. - М. : Мир, 1978. - 412 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Книга посвящена одному из основных разделов математической логики — теории доказательств. Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечений и полнота интуиционистского и классического исчислений предикатов, неполнота и непротиворечивость арифметики в книге приводятся недавние достижения в этой области, включая доказательства устранимости сечений в простой теории типов и непротиворечивости ограниченной части математического анализа. Большое место уделено инфинитарной логике — логике с бесконечно длинными формулами. Многие из приведенных результатов принадлежат самому автору, известному специалисту по теории доказательств. Книга будет полезна специалистам по математической логике, студентам, аспирантам и всем тем, кто интересуется вопросами оснований математики и математической логикой.
Кл.слова: математична логіка -- математичний аналіз
| | Тип видання: монографія | | |
14. |
Гильберт, Д. Основания математики. Теория доказательств [Електронний ресурс] : пер. с нем. / Д. Гильберт, П. Бернайс. - М. : Наука, 1982. - 652 с.. - (Математическая логика и основания математики)
Рубрики:
Повний текст доступний у читальних залах НБУВ
Монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Отличающаяся исключительной глубиной содержания и тщательностью изложения, монография Д. Гильберта и П. Бернайса пользуется большой популярностью среди специалистов.
Кл.слова: логічний формалізм -- предикат
| | Тип видання: навчальний посібник | | |
15. |
Колмогоров, А. Н. Введение в математическую логику [Електронний ресурс] / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во Московского университета, 1982. - 120 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и теории предикатов. Изложение предполагает специальных знаний и рассчитано для студентов младших курсов.
Кл.слова: алгебра логіки -- логіка предикатів
| | Тип видання: навчальний посібник | | |
16. |
Колмогоров, А. Н. Математическая логика. Дополнительные главы [Електронний ресурс] : учеб. пособие / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во Московского университета, 1984. - 120 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Книга представляет собой вторую часть учебного пособия авторов «Введение в математическую логику» (Изд-во Моск. ун-та, 1982 г.), но может изучаться и самостоятельно. Излагаются фундаментальные факты математической логики: начала аксиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Геделя о неполноте. Обсуждается программа Гильберта обоснования математики.
Кл.слова: алгоритм -- предикат
| | Тип видання: навчальний посібник | | |
17. |
Ершов, Ю. Л. Математическая логика [Електронний ресурс] : учеб. пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - 2-е изд., испр. и доп.. - М. : Наука. Главная редакция физико-математической литературы, 1987. - 336 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.
Кл.слова: предикат -- істина -- рекурсивна функція
| | Тип видання: наукове видання | | |
18. |
Вагин, В. Н. Дедукция и обобщение в системах принятия решений [Електронний ресурс] / В. Н. Вагин. - М. : Наука, 1988. - 384 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Рассматриваются методы дедуктивного вывода и обобщения в системах принятия решений. Дается описание двух классов формальных систем: исчисления высказываний и исчисления предикатов первого порядка. Рассматриваются декларативные, процедурные и специальные модели представления знаний; особое внимание уделяется семантическим сетям. Приводятся дедуктивные методы вывода, где наряду с классическими типа принципа резолюции и его модификации излагаются методы дедуктивного вывода на семантических сетях; дается применение методов дедукции в системах управления сложными объектами. Рассматриваются методы обобщения понятий по признакам и по структурам и их реализация в системах управления. Излагаются методы обобщения с использованием нечетких переменных и иерархические методы кластеризации. Для специалистов в области искусственного интеллекта, систем управления и принятия решений.
Кл.слова: штучний інтелект -- дедукція -- управління -- рішення
| | Тип видання: навчальний посібник | | |
19. |
Грэй, П. Логика, алгебра и базы данных [Електронний ресурс] / П. Грэй. - М. : Машиностроение, 1989. - 368 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Изложены основные понятия математической логики и алгебры, которые лежат в основе таких приложений этих дисциплин, как базы данных, экспертные системы, системы логического программирования и др. Эти же понятия становятся методологической основой описания, анализа и моделирования автоматизированных интегрированных производств. Описаны концепция Кодасил, функциональные языки запросов, модели баз данных. Для программистов, работающих в промышленности, преподавателей и студентов вузов в области вычислительной техники и информатики.
Кл.слова: висловлювання -- предикат -- реляційна алгебра -- ламбда-вираз
| | Тип видання: монографія | | |
20. |
Бакаев, А. А. Экспертные системы и логическое программирование [Електронний ресурс] / А. А. Бакаев, В. И. Гриценко, Д. Н. Козлов ; Академия наук Украины, Институт кибернетики им. В. М. Глушкова. - Киев : Наукова думка, 1992. - 216 с.
Рубрики:
Текст у форматі PDF 13.45 Мб
В монографии изложены принципы создания экспертных систем, основы логического программирования и подходы, применяемые при разработке экспертных систем на языке программирования "Пролог". Рассмотрены методы организации базы данных экспертной системы. Дана сравнительная характеристика основных способов логического вывода, применяемых для решения задач. Изложено введение в клаузуальную форму логики предикатов первого порядка и в логическое программирование на языке этой логики.
Кл.слова: бази знань -- семантичні мережі -- фрейми -- метаінтерпретація -- рекурсивна логіка
| |
| | | | | | | | | | | | | | | | | | | |
|
|