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