Віртуальна довідка Тематичний інтернет-навігатор Наукова електронна бібліотека Автореферати дисертацій Реферативна база даних Книжкові видання та компакт-диски Журнали та продовжувані видання
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>U=В123$<.>) |
Загальна кількість знайдених документів : 13
Представлено документи з 1 до 13
|
| | Тип видання: підручник | | |
1. |
Баврин, Иван Иванович. Старинные задачи [Електронний ресурс] / И. И. Баврин, Е. А. Фрибус. - М. : Просвещение, 1994. - 128 с.
Рубрики:
Географічні рубрики:
Повний текст доступний у читальних залах НБУВ
Богатая коллекция старинных задач предоставляет читателю замечательную возможность проследить за развитием математической мысли с древнейших времен.
Кл.слова: логіка -- задачі
| | Тип видання: навчальний посібник | | |
2. |
Ивин, А. А. Логика [Електронний ресурс] : учеб. пособие для студентов вузов / А. А. Ивин. - М. : Оникс, 2008. - 338 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
В учебнике доступно, ясно и вместе с тем строго и систематично излагаются основные понятия логики. Главное внимание уделено общему представлению об операциях и законах мышления. Логический анализ показан в действии, в применении к содержательно интересным проблемам. Принципиальная новизна учебного пособия в том, что в нем приводятся задачи по наиболее важным темам курса (логический практикум) и тесты, позволяющие контролировать эффективность усвоения изучаемого материала, а также словарь терминов, включающий основные логические понятия. Пособие предназначено для студентов и преподавателей вузов, а также может быть полезно всем интересующимся логикой и желающим усовершенствовать свои навыки последовательного и доказательного мышления.
Кл.слова: операція -- логічний аналіз
| | Тип видання: наукове видання | | |
3. |
Вагин, В. Н. Дедукция и обобщение в системах принятия решений [Електронний ресурс] / В. Н. Вагин. - М. : Наука, 1988. - 384 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Рассматриваются методы дедуктивного вывода и обобщения в системах принятия решений. Дается описание двух классов формальных систем: исчисления высказываний и исчисления предикатов первого порядка. Рассматриваются декларативные, процедурные и специальные модели представления знаний; особое внимание уделяется семантическим сетям. Приводятся дедуктивные методы вывода, где наряду с классическими типа принципа резолюции и его модификации излагаются методы дедуктивного вывода на семантических сетях; дается применение методов дедукции в системах управления сложными объектами. Рассматриваются методы обобщения понятий по признакам и по структурам и их реализация в системах управления. Излагаются методы обобщения с использованием нечетких переменных и иерархические методы кластеризации. Для специалистов в области искусственного интеллекта, систем управления и принятия решений.
Кл.слова: штучний інтелект -- дедукція -- управління -- рішення
| | Тип видання: навчальний посібник | | |
4. |
Яглом, И. М. Необыкновенная алгебра [Електронний ресурс] / И. М. Яглом. - М. : Наука. Главная редакция физико-математической литературы, 1968. - 72 с.. - (Популярные лекции по математике. Вып. 45)
Рубрики:
Повний текст доступний у читальних залах НБУВ
Брошюра излагает основные понятия, относящиеся к учению о так называемых "алгебрах Буля", играющих большую роль в математической логике и весьма важных для всех направлений современной математики, связанных с электронными вычислительными машинами и кибернетикой. В брошюре дается определение алгебры Буля и приводятся многочисленные примеры таких алгебр; в частности, специально рассматривается алгебра высказываний и указываются пути использования этой своеобразной алгебры для автоматизации математических доказательств. Брошюра содержит достаточное число упражнений (сопровождаемых ответами, помещенными в конце брошюры), доставляющих читателю возможность контроля над усвоением материала и самопроверки. Брошюра может быть использована и работе школьного математического кружка; она будет с интересом прочитана не только школьниками средних (7-го, 8-го) классов, но и школьниками-старшеклассниками.
Кл.слова: математична логіка -- кібернетика
| | Тип видання: підручник | | |
5. |
Яблонский, С. В. Функции алгебры логики и классы Поста [Електронний ресурс] / С. В. Яблонский, Г. П. Гаврилов, В. Б. Кудрявцев. - М. : Наука. Главная редакция физико-математической литературы, 1966. - 120 с.. - (Математическая логика и основания математики)
Рубрики:
Повний текст доступний у читальних залах НБУВ
Работа состоит из двух частей. В гл. 1 первой части вводятся основные понятия алгебры логики и приводится ряд общих теорем. Эта глава по своему содержанию тесно примыкает к работе одного из авторов. В гл. 2-4 первой части рассматриваются некоторые специальные замкнутые классы и связанные с ними итерационные свойства. В связи с этим доказывается большое количество лемм. Основные построения производятся в следующей части. В гл. 1 второй части строятся замкнутые классы функций алгебры логики. Здесь же показывается, что других замкнутых классов нет, каждый замкнутый класс порождается своей конечной подсистемой и т. п. В гл. 2 монтируется структура всех замкнутых классов, исходя из структур для отдельных групп замкнутых классов. На основе этого уточняются некоторые теоремы гл. 1 и формулируются теоремы о полноте.
Кл.слова: теорема -- функція -- замкнений клас
| | Тип видання: методичний посібник | | |
6. |
Робинсон, А. Введение в теорию моделей и математику алгебры [Електронний ресурс] / А. Робинсон. - М. : Наука, 1967. - 376 с.. - (Математическая логика и основания математики)
Рубрики:
Повний текст доступний у читальних залах НБУВ
Понятие модели возникло в математике еще в девятнадцатом веке. Вплотную к нему подошел Н. И. Лобачевский, но в полной мере оно появилось в работах Э. Бельтрами и Ф. Клейна, посвященных непротиворечивости геометрии. В дальнейшем понятие модели развивается и уточняется в связи с развитием формальных теорий и становится одним из основных понятий семантики символических языков. Современная формулировка понятия модели и других понятий семантики (например, понятия истинности формулы узкого исчисления предикатов, понятия теории классов алгебраических систем и др.) сложилась в конце двадцатых и в начале тридцатых годов в работах Д. Гильберта и А. Тарского. К тому же времени на основе фундаментальных работ Д. Гильберта и развития его идей в математической логике были получены и основные теоремы: теорема Гёделя о полноте узкого исчисления предикатов, локальная теорема Мальцева, теорема Левенгейма — Сколема, теорема о расширении моделей и др. Естественно возникла идея применения этих достижений в математике. Формальные системы, изучаемые в математической логике, являются примерами алгебр с частичными операциями, и основные теоремы о формальных системах, основные методы математической
Кл.слова: теорія -- модель -- математика
| | Тип видання: монографія | | |
7. |
Барендрегт, Хендрик Питер. Ламбда-исчисление [Електронний ресурс] : его синтаксис и семантика : пер. с англ. / Х. П. Барендрегт. - М. : Мир, 1985. - 606 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики. - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик. Для математиков разных специальностей, преподавателей, аспирантов и студентов университетов.
Кл.слова: математична логіка -- теорія доказів
| | Тип видання: підручник | | |
8. |
Серебрянников, Олег Фёдорович. Эвристические принципы и логические исчисления [Електронний ресурс] / О. Ф. Серебрянников. - М. : Наука, 1970. - 283 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
В книге рассматриваются проблемы выражения эвристических принципов мышления в исчислениях современной логики.
Кл.слова: логіка -- обчислення
| | Тип видання: підручник | | |
9. |
Пензов, Ю. Е. Элементы математической логики и теории множеств [Електронний ресурс] / Ю. Е. Пензов. - Саратов : Изд-во Саратовского ун-та, 1968. - 143 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Настоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 1962-66 гг. В параграфе 1 вводятся основные понятия теории множеств. В параграфах 2 и 3 излагаются элементы содержательного исчисления высказываний и предикатов. Содержательное исчисление предикатов представляет наибольшие трудности, этот раздел занимает в книге значительное место. Формальное исчисление высказываний и предикатов не затрагивается. В параграфах 4 и 5 логика предикатов применяется для построения начал алгебры подмножеств и теории бинарных отношений. В 6-ом на основе теории бинарных отношений излагаются начальные сведения по теории отображений и преобразований множеств.
Кл.слова: алгебра -- математична логіка -- теорія множин
| | Тип видання: підручник | | |
10. |
Депман, И. Я. Первое знакомство с математической логикой [Електронний ресурс] / И. Я. Депман. - Ленинград : Знание, 1963. - 57 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Кл.слова: логічне рівняння -- алгебра логіки -- алгебра висловлювань
| | Тип видання: навчальний посібник | | |
11. |
Гиндикин, С. Г. Алгебра логики в задачах [Електронний ресурс] / С. Г. Гиндикин. - М. : Наука, 1972. - 288 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
В книге рассмотрены, главным образом, три круга вопросов: проблемы полноты и функционально замкнутых классов, проблеммы синтеза и оценки сложности схем, теория вероятностей на конечных булевых алгебрах.
Кл.слова: математична логіка -- ймовірносна логіка -- логіка предикатів
| | Тип видання: навчальний посібник | | |
12. |
Избранные вопросы теории булевых функций [Електронний ресурс] / ред.: С. Ф. Финокуров, Н. А. Перязев. - М. : Физматлит, 2001. - 196 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Рассматриваются разделы булевых функций, интенсивно развивающиеся в настоящее время: представления функций бинарными терминами, бесповоротными терминами и полиномиальными формами. Все необходимые для чтения известные определения и утверждения приведены в вводной главе. Книга предназначена для научных работников и аспирантов. Она может также служить учебным пособием для студентов, специализирующихся в области дискретной математики и информатики.
Кл.слова: представлення функції -- дискретна математика
| | Тип видання: наукове видання | | |
13. |
Марченков, С. С. Замкнутые классы булевых функций [Електронний ресурс] / С. С. Марченков. - М. : Физматлит, 2000. - 128 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста). Изложено новое компактное доказательство конечной порождаемости всех классов Поста и дано описание решетки классов Поста. Рассмотрено предикатное задание классов Поста и приведено определение классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для алгебры булевых функций. Введены булевы вектор-функции, с использованием соответствий Галуа решена проблема полноты для класса всех булевых вектор-функций. Рассмотрены некоторые `сильные` операторы замыкания, которые приводят к конечным решеткам замкнутых классов. Для научных сотрудников, работающих в области дискретной математики, а также студентов, изучающих булевы функции.
Кл.слова: дискретна математика -- алгебра
| | | | | | | | | | | | |
|
|