Віртуальна довідка Тематичний інтернет-навігатор Наукова електронна бібліотека Автореферати дисертацій Реферативна база даних Книжкові видання та компакт-диски Журнали та продовжувані видання
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>K=ПРЕДИКАТ$<.>) |
Загальна кількість знайдених документів : 37
Представлено документи з 1 до 20
|
| |
| | Тип видання: монографія | | |
1. |
Бакаев, А. А. Экспертные системы и логическое программирование [Електронний ресурс] / А. А. Бакаев, В. И. Гриценко, Д. Н. Козлов ; Академия наук Украины, Институт кибернетики им. В. М. Глушкова. - Киев : Наукова думка, 1992. - 216 с.
Рубрики:
Текст у форматі PDF 13.45 Мб
В монографии изложены принципы создания экспертных систем, основы логического программирования и подходы, применяемые при разработке экспертных систем на языке программирования "Пролог". Рассмотрены методы организации базы данных экспертной системы. Дана сравнительная характеристика основных способов логического вывода, применяемых для решения задач. Изложено введение в клаузуальную форму логики предикатов первого порядка и в логическое программирование на языке этой логики.
Кл.слова: бази знань -- семантичні мережі -- фрейми -- метаінтерпретація -- рекурсивна логіка
| | Тип видання: навчальний посібник | | |
2. |
Бродский, И. Н. Отрицательные высказывания [Електронний ресурс] / И. Н. Бродский. - Ленинград : Изд-во Ленинградского ун-та, 1973. - 104 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Работа посвящена философскому и логико-семантическому анализу познавательного значения и логических функций отрицательных высказываний. В ней рассматривается история вопроса о смысле отрицательных высказываний, роль отрицательных высказываний в структуре научного знания, так называемый "парадокс несуществования", а также дается критика некоторых современных буржуазных философских теорий смысла отрицания. Значительное место в работе занимает анализ отрицания в так называемой "логике неточных предикатов". Работа рассчитана на студентов и аспирантов философских факультетов, а также иа всех интересующихся философскими проблемами логики.
Кл.слова: логічна функція -- парадокс неіснування
| | Тип видання: підручник | | |
3. |
Булос, Д. Вычислимость и логика [Електронний ресурс] : пер. с англ. / Д. Булос, Р. Джеффри. - М. : Мир, 1994. - 396 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980, 1989 гг.). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о неразрешимости логики предикатов и разрешимости некоторых ее фрагментов, знаменитые теоремы Гёделя о полноте, нестандартные модели и многое другое. Материал дополнен упражнениями. Для всех, кто интересуется математической логикой, а также информатикой, философией и лингвистикой.
Кл.слова: математична логіка -- предикат -- інформатика
| | Тип видання: наукове видання | | |
4. |
Вагин, В. Н. Дедукция и обобщение в системах принятия решений [Електронний ресурс] / В. Н. Вагин. - М. : Наука, 1988. - 384 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Рассматриваются методы дедуктивного вывода и обобщения в системах принятия решений. Дается описание двух классов формальных систем: исчисления высказываний и исчисления предикатов первого порядка. Рассматриваются декларативные, процедурные и специальные модели представления знаний; особое внимание уделяется семантическим сетям. Приводятся дедуктивные методы вывода, где наряду с классическими типа принципа резолюции и его модификации излагаются методы дедуктивного вывода на семантических сетях; дается применение методов дедукции в системах управления сложными объектами. Рассматриваются методы обобщения понятий по признакам и по структурам и их реализация в системах управления. Излагаются методы обобщения с использованием нечетких переменных и иерархические методы кластеризации. Для специалистов в области искусственного интеллекта, систем управления и принятия решений.
Кл.слова: штучний інтелект -- дедукція -- управління -- рішення
| | Тип видання: монографія | | |
5. |
Гильберт, Д. Основания математики. Теория доказательств [Електронний ресурс] : пер. с нем. / Д. Гильберт, П. Бернайс. - М. : Наука, 1982. - 652 с.. - (Математическая логика и основания математики)
Рубрики:
Повний текст доступний у читальних залах НБУВ
Монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Отличающаяся исключительной глубиной содержания и тщательностью изложения, монография Д. Гильберта и П. Бернайса пользуется большой популярностью среди специалистов.
Кл.слова: логічний формалізм -- предикат
| | Тип видання: навчальний посібник | | |
6. |
Гильберт, Д. Основы теоретической логики [Електронний ресурс] : пер. с нем. / Д. Гильберт, В. Аккерман. - М. : Гос. изд-во иностранной литературы, 1947. - 306 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Теоретическая логика, называемая также математической или символической логикой, есть применение формального метода математики к области логики. Она применяет к логике тот же язык формул, который уже издавна употребляется для выражения математических отношений. В настоящее оремя было бы утопией при построении какой-либо математической дисциплины пытаться обойтись лишь обычным языком
Кл.слова: висловлювання -- предикат
| | Тип видання: навчальний посібник | | |
7. |
Гиндикин, С. Г. Алгебра логики в задачах [Електронний ресурс] / С. Г. Гиндикин. - М. : Наука, 1972. - 288 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
В книге рассмотрены, главным образом, три круга вопросов: проблемы полноты и функционально замкнутых классов, проблеммы синтеза и оценки сложности схем, теория вероятностей на конечных булевых алгебрах.
Кл.слова: математична логіка -- ймовірносна логіка -- логіка предикатів
| | Тип видання: навчальний посібник | | |
8. | |
Гладкий, А. В. Введение в современную логику [Електронний ресурс] / А. В. Гладкий. - М. : МЦНМО, 2001. - 200 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Книга представляет собой учебное пособие, в котором начала логики впервые в отечественной учебной литературе излагаются на современном научном уровне и при этом в форме, доступной студентам гуманитарных факультетов высших учебных заведений. Наряду с формальной логикой излагаются элементы логики научного познания. Отдельно рассмотрены особенности рассуждений, используемых в гуманитарных областях знания. Книга может служить также пособием для гимназий и лицеев. Эта книга возникла из лекций, которые я читал в Российском государственном гуманитарном университете будущим историкам, филологам и психологам. До сих пор, за редкими исключениями, логику у нас все еще излагают в «традиционном» стиле, то есть так, как будто ее развитие остановилось в середине XIX столетия как раз тогда, когда ее лицо начало быстро изменяться. (Небольшой довесок об истинностных таблицах и кванторах, выглядящий в таком курсе чужеродным, не в счет. ) Когда я в первый раз взялся прочесть курс логики на историко-филологическом факультете, мне было очевидно, что в конце XX столетия так читать его нет смысла. Поэтому я, рассказав в начале курса об основных логических законах и о том, что такое понятие и что такое предложение, перешел к символическому языку современной логики и элементам логики предложений и логики предикатов, затем изложил (на языке логики предикатов) основы аристотелевской силлогистики и закончил элементами логики научного познания (включая представление о гипотетико-дедуктивном методе и особый раздел о рассуждениях, используемых в гуманитарных областях знания).
Кл.слова: філософія -- сучасна філософія -- пізнання -- математична логіка
| | Тип видання: навчальний посібник | | |
9. |
Гладкий, А. В. Математическая логика [Електронний ресурс] / А. В. Гладкий. - М. : Российск. гос. гуманит. ун-т, 1998. - 479 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Книга представляет собой учебное пособие по математической логике, особенностями которого являются соединение строгости и доступности изложения, достигаемое благодаря отчетливому выделению основных идей и тщательной проработке деталей, и повышенное внимание к гуманитарным аспектам предмета - в частности, к его связям с естественным языком и лингвистикой. Излагаются семантика и синтаксис логики предложений и логики предикатов, элементы теории алгоритмов, формальная арифметика. Центральное место занимает теория доказательства, излагаемая на основе исчисления естественного вывода. Книга содержит много задач и упражнений.
Кл.слова: булева функція -- предикат
| | Тип видання: навчальний посібник | | |
10. |
Гордон, Е. И. Лекции по математической логике и теории алгоритмов [Електронний ресурс] : ч. 1 / Е. И. Гордон. - Нижний Новгород : НГУ, 1998. - 86 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Учебное пособие представляет запись лекций по курсу "Теория алгоритмов и математическая логика" для механико-математического факультета, обучающихся по специальности "Математика".
Кл.слова: математика -- предикат -- квантор
| | Тип видання: методичний посібник | | |
11. |
Гохман, А. В. Сборник задач по математической логике и алгебре множеств [Електронний ресурс] / А. В. Гохман, М. А. Спивак, В. В. Розеи. - Саратов : Изд-во Саратовского ун-та, 1969. - 90 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также исчислению высказываний и предикатов. Большая часть задач двух последних параграфов связана с бинарными отношениями, которые получают все большее применение в различных областях математики. Задачник снабжен ответами и указаниями, каждому разделу предпослано небольшое теоретическое введение.
Кл.слова: булева алгебра -- схема -- теорія
| | Тип видання: навчальний посібник | | |
12. |
Грэй, П. Логика, алгебра и базы данных [Електронний ресурс] / П. Грэй. - М. : Машиностроение, 1989. - 368 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Изложены основные понятия математической логики и алгебры, которые лежат в основе таких приложений этих дисциплин, как базы данных, экспертные системы, системы логического программирования и др. Эти же понятия становятся методологической основой описания, анализа и моделирования автоматизированных интегрированных производств. Описаны концепция Кодасил, функциональные языки запросов, модели баз данных. Для программистов, работающих в промышленности, преподавателей и студентов вузов в области вычислительной техники и информатики.
Кл.слова: висловлювання -- предикат -- реляційна алгебра -- ламбда-вираз
| | Тип видання: навчальний посібник | | |
13. |
Ерусалимский, Я. М. Дискретная математика: теория, задачи, приложения [Електронний ресурс] / Я. М. Ерусалимский. - М. : Вузовская книга, 2000. - 280 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Учебное пособие по дискретной математике. Содержит разделы: алгебра высказываний, алгебра предикатов и множеств, отображения, элементы комбинаторики, отношения, булевы функции, элементы теории графов. Отдельный раздел составляют задачи и упражнения. Для студентов и преподавателей вузов, инженеров-системотехников, программистов.
Кл.слова: алгебра висловлювань -- булева функція -- комбінаторика -- теорія графів
| | Тип видання: навчальний посібник | | |
14. |
Ершов, Ю. Л. Математическая логика [Електронний ресурс] : учеб. пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - 2-е изд., испр. и доп.. - М. : Наука. Главная редакция физико-математической литературы, 1987. - 336 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.
Кл.слова: предикат -- істина -- рекурсивна функція
| | Тип видання: наукове видання | | |
15. |
Ершов, Ю. Л. Определимость и вычислимость [Електронний ресурс] / Ю. Л. Ершов. - Новосибирск : Научная книга, 1996. - 300 с.. - (Сибирская школа алгебры и логики)
Рубрики:
Повний текст доступний у читальних залах НБУВ
Книга открывает учрежденную в 1995 г. Сибирским фондом алгебры и логики математическую книжную серию «Сибирская школа алгебры и логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Избранные темы, посвященные Е-определимости, динамической логике, Е-предикатам конечных типов и т. д. Для научных работников — специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.
Кл.слова: теорема Геделя -- гамма-функція
| | Тип видання: навчальний посібник | | |
16. |
Игошин, В. И. Задачи и упражнения по математической логике и теории алгоритмов [Електронний ресурс] / В. И. Игошин. - 3-е изд., стер.. - М. : Издательский центр "Академия", 2007. - 304 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Теоретический материал изложен в учебном пособии: Игошин В. И. Математическая логика и теория алгоритмов. — М. : Издательский центр «Академия», 2004.Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика»
Кл.слова: алгебра висловлювань -- булева функція -- логіка предикатів
| | Тип видання: навчальний посібник | | |
17. |
Калужнин, Л. А. Что такое математическая логика? [Електронний ресурс] / Л. А. Калужнин. - М. : Наука, 1964. - 152 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Настоящая книга является популярным изложением математической логики, приобретающей все большее значение в связи с развитием автоматизации производственных процессов. В отличие от имеющихся книг по математической логике данная книга не требует для своего понимания знаний, превосходящих школьный курс математики.
Кл.слова: логіка висловлювань -- логіка предикатів
| | Тип видання: навчальний посібник | | |
18. |
Колмогоров, А. Н. Введение в математическую логику [Електронний ресурс] / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во Московского университета, 1982. - 120 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и теории предикатов. Изложение предполагает специальных знаний и рассчитано для студентов младших курсов.
Кл.слова: алгебра логіки -- логіка предикатів
| | Тип видання: навчальний посібник | | |
19. |
Колмогоров, А. Н. Математическая логика. Дополнительные главы [Електронний ресурс] : учеб. пособие / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во Московского университета, 1984. - 120 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Книга представляет собой вторую часть учебного пособия авторов «Введение в математическую логику» (Изд-во Моск. ун-та, 1982 г.), но может изучаться и самостоятельно. Излагаются фундаментальные факты математической логики: начала аксиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Геделя о неполноте. Обсуждается программа Гильберта обоснования математики.
Кл.слова: алгоритм -- предикат
| | Тип видання: навчальний посібник | | |
20. |
Колмогоров, Андрей Николаевич. Математическая логика [Електронний ресурс] / А. Н. Колмогоров, А. Г. Драгалин. - 3-е изд., стереотипное. - М. : КомКнига, 2006. - 240 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
А. Н. Колмогоров (1903-1987) и А. Г. Драгалин (1941-1998) — выдающиеся отечественные логики и математики, оказавшие глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены учебники А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М. В. Ломоносова. Изложение фундаментальных фактов современной логики (основ логики высказываний и логики предикатов, начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.
Кл.слова: математика -- логіка -- алгоритм -- розв'язання задач
| |
| | | | | | | | | | | | | | | | | | | |
|
|