Віртуальна довідка Тематичний інтернет-навігатор Наукова електронна бібліотека Автореферати дисертацій Реферативна база даних Книжкові видання та компакт-диски Журнали та продовжувані видання
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>U=В121$<.>) |
Загальна кількість знайдених документів : 31
Представлено документи з 1 до 20
|
| |
| | Тип видання: навчальний посібник | | |
1. |
Гильберт, Д. Основы теоретической логики [Електронний ресурс] : пер. с нем. / Д. Гильберт, В. Аккерман. - М. : Гос. изд-во иностранной литературы, 1947. - 306 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Теоретическая логика, называемая также математической или символической логикой, есть применение формального метода математики к области логики. Она применяет к логике тот же язык формул, который уже издавна употребляется для выражения математических отношений. В настоящее оремя было бы утопией при построении какой-либо математической дисциплины пытаться обойтись лишь обычным языком
Кл.слова: висловлювання -- предикат
| | Тип видання: наукове видання | | |
2. |
Тарский, А. Введение в логику и методологию дедуктивных наук [Електронний ресурс] : пер. с англ. / А. Тарский. - М. : ГИИЛ, 1948. - 327 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Книга известного польского математика п логика А. Тарского, представляющая собой популярное введение в математическую логику и методологию дедуктивных наук, заслуживает внимания советского читателя. Вышедшая в 1936 Г, на польском языке, она появилась в 1937 г. в немецком переводе, но была выпущена известным немецким книгоиздательством Шпрингера не в Германии, а в Вене, Правда, зто не помогло издательству; часть издания, которую оно не успело распространить до «аншлюса», так и осталась лежать на его складах... по соображениям расового порядка, В 1941 г. просмотренное и дополненное издание книги вышло на английской языке в Нью-Йорке. С этого издания и выполнен русский перевод.
Кл.слова: математика -- логіка
| | Тип видання: монографія | | |
3. |
Чёрч, А. Введение в математическую логику [Електронний ресурс] : пер. с англ. / А. Чёрч. - М. : Изд-во Иностранной Литературы, 1960
Рубрики:
Повний текст доступний у читальних залах НБУВ Т. 1. - 485 с.
Эта монография принадлежит перу одного из самых известных современных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника.
Кл.слова: математичне мислення -- логіка
| | Тип видання: підручник | | |
4. |
Харин, Н. Н. Математическая логика и теория множеств [Електронний ресурс] : о соотношении абстрактного и конкретного / Н. Н. Харин ; под ред. Я. Л. Харапанского. - М. : Росвузиздат, 1963. - 192 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Настоящая работа имеет своей целью показать, что одной из важнейших закономерностей в развитии современной математики является взаимодействие абстрактного и конкретного, что развитие математики отражает развитие объективной действительности, носит диалектический характер. Отсюда следует, что познание сущности математических понятий предполагает диалектико-материалистический подход, так как математика - наука о количественных отношениях и пространственных формах объективного мира. Только такой подход дает возможность глубоко усвоить математику и плодотворно применять ее в решении задач современной науки и техники.
Кл.слова: логіка -- математика -- алгоритм
| | Тип видання: наукове видання | | |
5. |
Хао, В. Аксиоматические системы теории множеств [Електронний ресурс] : пер. с фр. / В. Хао, Р. Мак-Нотон. - М. : Издательство иностранной литературы, 1963. - 55 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Брошюра представляет собой развернутое изложение обзорного доклада, прочитанного первым из авторов — крупным специалистом по математической логике. В исключительно сжатой, но доступной и четкой форме авторам удалось изложить важнейшие современные аксиоматические обоснования теории абстрактных множеств. Эта отрасль весьма слабо представлена в советской математической литературе, а между тем современное бурное развитие исследований по основаниям математики и по математической логике тесно связано с ней. Брошюра будет полезна всем математикам, а также представителям других специальностей, интересующихся приложениями математической логики.
Кл.слова: математична логіка
| | Тип видання: підручник | | |
6. |
Мельников, Г. П. Азбука математической логики [Електронний ресурс] / Г. П. Мельников. - М. : Знание, 1967. - 104 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Кл.слова: математика -- логіка
| | Тип видання: навчальний посібник | | |
7. |
Столл, Р. Р. Множества. Логика. Аксиоматические теории [Електронний ресурс] : пер. с англ. / Р. Р. Столл. - М. : Просвещение, 1968. - 231 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Математической логики (элементы логики высказываний и логики предикатов), оснований математики (аксиоматический метод) и теории булевых алгебр. Имеется большое число упражнений учебного характера.
Кл.слова: аксіома -- булева алгебра
| | Тип видання: навчальний посібник | | |
8. |
Линдон, Р. Заметки по логике [Електронний ресурс] : пер. с англ. / Р. Линдон ; под ред. И. М. Яглома. - М. : Мир, 1968. - 127 с.. - (Современная математика)
Рубрики:
Повний текст доступний у читальних залах НБУВ
Книга посвящена идейным и формальным аспектам логики. Автор избрал внешне свободный стиль изложения и, не углубляясь в технические детали, очень ярко выявил основные идеи логики. Не приводя ни одного сложного и громоздкого доказательства, он тем не менее нигде не ограничился общими описаниями. Приводится набор задач, которые призваны привить вкус к самостоятельным исследованиям.
Кл.слова: алгебра -- теорема
| | Тип видання: навчальний посібник | | |
9. |
Карри, Х. Б. Основания математической логики [Електронний ресурс] : пер. с англ. / Х. Б. Карри. - М. : Мир, 1969. - 568 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений. Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики.
Кл.слова: формальна система -- теорія імплікації
| | Тип видання: методичний посібник | | |
10. |
Никитин, В. В. Сборник логических упражнений [Електронний ресурс] : пособие для учителей математики / В. В. Никитин. - М. : Просвещение, 1970. - 96 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Настоящий сборник представляет собой пособие содержащее логические вопросы и задачи из области школьной математики, для развития логического мышления учащихся. Сборник рассчитан на учителей математики, которые могут использовать упражнения на уроках и в кружковой работе, и на студентов физико-математических факультетов педвузов. Книга адресована физикам, математикам и механикам, интересующимся теоретико-групповыми методами в теории поля и в механике сплошной среды, а также студентам и аспирантам, прослушавшим вводный курс теории групп. Пособие для учителей математики и студентов физико-математических факультетов педвузов, для логического мышление учащихся.
Кл.слова: задача -- вправа -- рівняння
| | Тип видання: підручник | | |
11. |
Мендельсон, Э. Введение в математическую логику [Електронний ресурс] : пер. с англ. / Э. Мендельсон ; под ред. С. И. Адяна. - М. : Наука, 1971. - 320 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
В книге Э. Мендельсона дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутствующие в книге С. К. Клини «Введение в метаматематику», которая до настоящего времени служила наиболее полным пособием по математической логике. Следует однако отметить, что в отличие от книги С. К. Клини в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики.
Кл.слова: логіка висловлювань -- предикат
| | Тип видання: наукове видання | | |
12. |
Расёва, Елена. Математика метаматематики [Електронний ресурс] : пер. с англ. / Е. Расёва, Р. Сикорский. - М. : Наука, 1972. - 591 с.. - (Математическая логика и основания математики)
Рубрики:
Повний текст доступний у читальних залах НБУВ
Название этой книги — вовсе не каламбур, как это может показаться на первый взгляд. Метаматематика — это теория, изучающая формализованные математические теории. Формализованная теория — это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и термами, и множество некоторых простых операций, производимых над этими последовательностями. Формулы и термы, получаемые с помощью нескольких простых правил, служат заменой для предложении и функций интуитивной математической теории. Операции над формулами соответствуют элементарным шагам дедукции в математических рассуждениях. Формулы, соответствующие аксиомам интуитивной теории, играют особую роль — они являются аксиомами формализованной теории. Формулы, которые могут быть выведены из аксиом посредством принятых операции, соответствуют теоремам теории.
Кл.слова: алгебра -- топологія -- логіка
| | Тип видання: підручник | | |
13. |
Новиков, П. С. Элементы математической логики [Електронний ресурс] / П. С. Новиков. - 2-е изд., испр.. - М. : Наука, 1973. - 400 с.. - (Математическая логика и основания математики)
Рубрики:
Повний текст доступний у читальних залах НБУВ
Интенсивное развитие математической логики в последнее время сопровождается увеличением ее роли в математике. Одной из основных задач математической логики остается анализ оснований математики. Но в настоящее время она уже вышла из рамок этой задачи и оказала существенное влияние на развитие самой математики. Из ее идей возникло точное определение понятия алгоритма, что позволило решить многие вопросы, которые без этого оставались бы в принципе неразрешимыми. Возникший в математической логике аппарат нашел приложение в вопросах конструкций вычислительных машин и автоматических устройств.
Кл.слова: алгебра -- логіка
| | Тип видання: наукове видання | | |
14. |
Йех, Т. Теория множеств и метод форсинга [Електронний ресурс] : пер. с англ. / Т. Йех. - М. : Мир, 1973. - 152 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
В книге изложены аксиоматическая теория множеств и методы доказательства совместимости утверждений теории множеств: метод Гёделя, метод форсинга Коэна, метод булевозначных моделей, метод Френкеля — Мостовского. При помощи этих методов строятся модели для многих известных гипотез теории множеств: обобщенной континуум-гипотезы, отрицания континуум-гипотезы, отрицания аксиомы выбора, гипотезы Суслина и ее отрицания и т. д. Книга не требует предварительных знаний аксиоматической теории множеств и доступна широкому кругу математиков.
Кл.слова: ординальне число -- аксіома вибору
| | Тип видання: навчальний посібник | | |
15. |
Манин, Ю. И. Лекции по математической логике [Електронний ресурс] : в 2 ч. / Ю. И. Манин. - М. : МИЭМ, 1974
Рубрики:
Повний текст доступний у читальних залах НБУВ Ч. 1. - 134 с. Ч. 2. - 71 с.
Содержанием математической логики является изучение языка математики.Разумеется, забота о языке и постоянная его перестройка для приведения в соответствие с меняющимися состоянием знаний характерна для любой естественной науки. Тем не менее, необходимая работа обычно осуществляется по ходу дела, и то присталььное критическое рассмотрение, которому математика подвергла самое себя и свои средства выражения, представляется уникальным.
Кл.слова: математика -- програмування -- ЕОМ -- мова програмування
| | Тип видання: навчальний посібник | | |
16. | |
Кутасов, А. Д. Элементы математической логики [Електронний ресурс] : пособие для учащихся 9-10 классов / А. Д. Кутасов. - М. : Просвещение, 1977. - 63 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Настоящее пособие предназначено в первую очередь ученикам IX—X классов средней общеобразовательной школы, интересующимся математикой. Учителя математики также найдут в нем материал, который смогут использовать в своей работе. Первоначальные сведения из математической логики используются автором для разъяснения таких важных для математики понятий, как взаимнообратные и взаимно противоположные теоремы, необходимые и достаточные условия, математическая индукция.
Кл.слова: математика -- математична логіка -- шкільний курс математики
| | Тип видання: навчальний посібник | | |
17. |
Бизам, Д. Многоцветная логика: 175 логических задач [Електронний ресурс] / Д. Бизам, Я. Герцег ; пер. с венг. Ю. А. Данилова. - М. : Мир, 1978. - 435 с.
Рубрики:
Географічні рубрики:
Повний текст доступний у читальних залах НБУВ
Новая книга венгерских математиков Д. Бизама и Я. Герцега продолжает серию книг по занимательной математике. Как и предыдущая книга этих авторов "Игра и логика" (М., "Мир", 1975), она посвящена началам математической логики и содержит 175 логических задач. Пользуясь элементарными средствами, авторы в увлекательной форме учат читателя умению последовательно мыслить.
Кл.слова: математична логіка -- нестандартна задача
| | Тип видання: навчальний посібник | | |
18. |
Колмогоров, А. Н. Введение в математическую логику [Електронний ресурс] / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во Московского университета, 1982. - 120 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и теории предикатов. Изложение предполагает специальных знаний и рассчитано для студентов младших курсов.
Кл.слова: алгебра логіки -- логіка предикатів
| | Тип видання: наукове видання | | |
19. |
Марков, А. А. Элементы математической логики [Електронний ресурс] / А. А. Марков ; под ред. А. Г. Драгалина. - М. : Изд-во Московского университета, 1984. - 80 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Книга обладает большой оригинальностью в изложении традиционных начал математической логики и отражает взгляды и установки автора на. предмет изложения. Особое внимание уделяется теории логико-математических языков и семантике таких" языков.
Кл.слова: математична логіка -- семантика
| | Тип видання: навчальний посібник | | |
20. |
Грэй, П. Логика, алгебра и базы данных [Електронний ресурс] / П. Грэй. - М. : Машиностроение, 1989. - 368 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Изложены основные понятия математической логики и алгебры, которые лежат в основе таких приложений этих дисциплин, как базы данных, экспертные системы, системы логического программирования и др. Эти же понятия становятся методологической основой описания, анализа и моделирования автоматизированных интегрированных производств. Описаны концепция Кодасил, функциональные языки запросов, модели баз данных. Для программистов, работающих в промышленности, преподавателей и студентов вузов в области вычислительной техники и информатики.
Кл.слова: висловлювання -- предикат -- реляційна алгебра -- ламбда-вираз
| |
| | | | | | | | | | | | | | | | | | | |
|
|