Новые поступления (книга в стадии обработки) Упражнения по теории множеств и логике [Текст] : учеб. пособие для студентов по спец. 050708 "Педагогика и методика начального образования" / Г. В. Дюдяева [и др.] ; ред. П. М. Зиновьев ; Сарат. гос. ун-т им. Н. Г. Чернышевского, Пед. ин-т. - Саратов : [б. и.], 2005. - 46 с. - (Студентам, учителям, школьникам). - (в пер.) : 10.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математика -- математическая логика -- множеств теория -- множества -- комбинаторика -- предикаты -- кванторы -- теоремы Аннотация: Задачи, представленные в сборнике, помогут лучше усвоить следующие разделы курса : элементы теории множеств, комбинаторика, элементы логики. Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Дюдяева, Г. В. Зиновьев, П. М. Зиновьева, Т. Ф. Орлова, И. Е. Зиновьев, П. М. |
Новые поступления (книга в стадии обработки) Мендельсон, Э. Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 3.изд. - М. : Наука, 1984. - 320 с. ; 22см. - 1.80 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): исчисление -- тавтологии -- кванторы -- теоремы -- изоморфизмы -- арифметика -- арифметические функции -- теорема Гёделя -- теорема Тарского -- система Робинсона -- числа -- порядковые числа -- Гёдель -- Хартогс -- теорема Хартогса -- алгорифмы Маркова -- алгорифмы Тьюринга -- алгорифмы -- Марков -- Тьюринг Аннотация: В книге освещается широкий круг вопросов. В ней излагаются следующие темы: логика высказываний и логика предиктов, элементарные теории, формализованная арифметика, аксиоматическая теория множеств, теория алгоритмов. Изложению присуща ясность, простота и лаконичность. Значительная роль в книге отведена упражнениям, куда вынесена часть материала, используемого в основном тексте. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Кабаков, Ф. А. Адян, С. И. |
Новые поступления (книга в стадии обработки) Мендельсон, Э. Введение в математическую логику [Текст] : научное издание / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; Под ред. С. И. Адяна. - М. : Наука, 1971. - 320 с. ; 22 см. - 1.77 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): ПРОПОЗИЦИОНАЛЬНЫЕ СВЯЗКИ -- КВАНТОРЫ -- АРИФМЕТИЗАЦИЯ -- ТЕОРИЯ МНОЖЕСТВ -- ТЕОРЕМА ХАРТОГСА -- ТЕОРЕМА ТАРСКОГО Аннотация: Дается доступное изложение основных разделов математической логики и многих ее приложений, освещены также теория моделей и аксиоматическая теория множеств. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Кабаков, Ф. А. Адян, С.И. |
Новые поступления (книга в стадии обработки) Карри, Х. Б. Основания математической логики [Текст] / Х. Б. Карри ; под ред. Ю. А. Гастева ; пер. с англ. В. В. Донченко = Founbations of mathematical logic / H. B. Curry : научное издание. - М. : Изд-во "Мир", 1969. - 568 с. : ил. ; 22 см. - Библиогр.: с. 519-547. - 2.64 р. Тит. л. парал. на англ. яз.
Кл.слова (ненормированные): ФОРМАЛЬНЫЕ СИСТЕМЫ -- РЕЛЯЦИОННАЯ АЛГЕБРА -- ЭКВИВАЛЕНТНОСТИ СИСТЕМ -- КВАНТОРЫ -- МОДАЛЬНОСТИ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Гастев, Ю.А. Донченко, В. В. |
Новые поступления (книга в стадии обработки) Калужнин, Л. А. Что такое математическая логика? [Текст] : научное издание / Л. А. Калужнин. - М. : Изд-во "Наука", 1964. - 152 с. : ил., граф., табл. ; 20 см. - Библиогр.: с. 149-150 (29 назв.). - 0.21 р.
Кл.слова (ненормированные): ЛОГИКА ВЫСКАЗЫВАНИЙ -- ФОРМУЛЫ ЛОГИКИ -- ПРЕДИКАТЫ -- КВАНТОРЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Столяр, А. А. Элементарное введение в математическую логику [Текст] : научное издание / А. А. Столяр. - М. : Изд-во "Просвещение", 1965. - 162 с. : ил. ; 21 см. - Библиогр.: с. 162. - 0.22 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- МНОЖЕСТВА -- ТРАДИЦИОННАЯ ЛОГИКА -- КВАНТОРЫ -- ЭКВИВАЛЕНТНЫЕ ФОРМУЛЫ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Новое в зарубежной лингвистике [Текст] : современные синтаксические теории в американской лингвистике. Вып.11 / ред. А. Е. Кибрик . - Москва : Прогресс, 1982. - 457 с. - На русском языке. - 2.80 р. Рубрики: Языкознание--Языки мира Кл.слова (ненормированные): американская лингвистика -- антитопики -- грамматика -- грамматика универсальная -- диахрония -- дистрибуция -- зарубежная лингвистика -- идентификация -- именные группы -- иностранные языки -- кванторы -- контрастивность -- контролеры -- лингвистика -- лингвистическая теория -- лингвисты -- определенность -- отношения синтаксические -- пассивизация -- подлежащее -- предложения -- релятивизация -- реляционная грамматика -- рефлексивизация -- ролевая грамматика -- семантические роли -- синтаксис -- структура предложения -- типология языков -- топики -- функционализм -- экзистенциальность -- эллипсис -- эмпатия -- эргативность Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Кибрик , А. Е. |
Новые поступления (книга в стадии обработки) Гильберт, Давид Основания математики [Текст] : логические исчисления и формализация арифметики: пер. с нем. / Д. Гильберт, П. Бернайс. - 2-е изд. - Москва : Наука, 1982. - 556 с. : ил. - (Математическая логика и основания математики). - 02.70 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): аксиомы -- аксиомы Пеано -- арифметика -- бесконечное -- выводимость -- дедуктивное равенство -- дедукционная теорема -- доказательства независимости -- интуитивные рассуждения -- истинностные функции -- исчисление предикатов -- кванторы -- логика высказываний -- логические исчисления -- математическая логика -- нефинитные методы -- основания математики -- предикаты -- проблема разрешимости -- разрешимость -- рассуждения -- редукция -- рекурсия -- систематика -- теоремы о полноте -- теория истинностных функций -- финитный способ рассуждений -- формализация арифметики -- формализм -- формальная аксиоматика Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Бернайс, П. |