| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
В текущей базе данных найдено документов :8
 В других БД по вашему запросу найдено:Электронный каталог (1)ЭБС "ЛАНЬ" (3)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=кванторы<.>)
Общее количество найденных документов : 8
Показаны документы с 1 по 8
1.

   
    Упражнения по теории множеств и логике [Текст] : учеб. пособие для студентов по спец. 050708 "Педагогика и методика начального образования" / Г. В. Дюдяева [и др.] ; ред. П. М. Зиновьев ; Сарат. гос. ун-т им. Н. Г. Чернышевского, Пед. ин-т. - Саратов : [б. и.], 2005. - 46 с. - (Студентам, учителям, школьникам). - (в пер.) : 10.00 р.
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математика -- математическая логика -- множеств теория -- множества -- комбинаторика -- предикаты -- кванторы -- теоремы
Аннотация: Задачи, представленные в сборнике, помогут лучше усвоить следующие разделы курса : элементы теории множеств, комбинаторика, элементы логики.
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Дюдяева, Г. В.
Зиновьев, П. М.
Зиновьева, Т. Ф.
Орлова, И. Е.
Зиновьев, П. М.
Найти похожие
2.

    Мендельсон, Э.
    Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 3.изд. - М. : Наука, 1984. - 320 с. ; 22см. - 1.80 р.
ГРНТИ
27.03
УДК
510.6
ББК 22.12

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
исчисление -- тавтологии -- кванторы -- теоремы -- изоморфизмы -- арифметика -- арифметические функции -- теорема Гёделя -- теорема Тарского -- система Робинсона -- числа -- порядковые числа -- Гёдель -- Хартогс -- теорема Хартогса -- алгорифмы Маркова -- алгорифмы Тьюринга -- алгорифмы -- Марков -- Тьюринг
Аннотация: В книге освещается широкий круг вопросов. В ней излагаются следующие темы: логика высказываний и логика предиктов, элементарные теории, формализованная арифметика, аксиоматическая теория множеств, теория алгоритмов. Изложению присуща ясность, простота и лаконичность. Значительная роль в книге отведена упражнениям, куда вынесена часть материала, используемого в основном тексте.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Кабаков, Ф. А.
Адян, С. И.
Найти похожие
3.

    Мендельсон, Э.
    Введение в математическую логику [Текст] : научное издание / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; Под ред. С. И. Адяна. - М. : Наука, 1971. - 320 с. ; 22 см. - 1.77 р.
ГРНТИ
27.03
УДК
16

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
ПРОПОЗИЦИОНАЛЬНЫЕ СВЯЗКИ -- КВАНТОРЫ -- АРИФМЕТИЗАЦИЯ -- ТЕОРИЯ МНОЖЕСТВ -- ТЕОРЕМА ХАРТОГСА -- ТЕОРЕМА ТАРСКОГО
Аннотация: Дается доступное изложение основных разделов математической логики и многих ее приложений, освещены также теория моделей и аксиоматическая теория множеств.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Кабаков, Ф. А.
Адян, С.И.
Найти похожие
4.

    Карри, Х. Б.
    Основания математической логики [Текст] / Х. Б. Карри ; под ред. Ю. А. Гастева ; пер. с англ. В. В. Донченко = Founbations of mathematical logic / H. B. Curry : научное издание. - М. : Изд-во "Мир", 1969. - 568 с. : ил. ; 22 см. - Библиогр.: с. 519-547. - 2.64 р.
Тит. л. парал. на англ. яз.
УДК
16

Кл.слова (ненормированные):
ФОРМАЛЬНЫЕ СИСТЕМЫ -- РЕЛЯЦИОННАЯ АЛГЕБРА -- ЭКВИВАЛЕНТНОСТИ СИСТЕМ -- КВАНТОРЫ -- МОДАЛЬНОСТИ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Гастев, Ю.А.
Донченко, В. В.
Найти похожие
5.

    Калужнин, Л. А.
    Что такое математическая логика? [Текст] : научное издание / Л. А. Калужнин. - М. : Изд-во "Наука", 1964. - 152 с. : ил., граф., табл. ; 20 см. - Библиогр.: с. 149-150 (29 назв.). - 0.21 р.
УДК
16

Кл.слова (ненормированные):
ЛОГИКА ВЫСКАЗЫВАНИЙ -- ФОРМУЛЫ ЛОГИКИ -- ПРЕДИКАТЫ -- КВАНТОРЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие
6.

    Столяр, А. А.
    Элементарное введение в математическую логику [Текст] : научное издание / А. А. Столяр. - М. : Изд-во "Просвещение", 1965. - 162 с. : ил. ; 21 см. - Библиогр.: с. 162. - 0.22 р.
УДК
16

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- МНОЖЕСТВА -- ТРАДИЦИОННАЯ ЛОГИКА -- КВАНТОРЫ -- ЭКВИВАЛЕНТНЫЕ ФОРМУЛЫ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие
7.

   
    Новое в зарубежной лингвистике [Текст] : современные синтаксические теории в американской лингвистике. Вып.11 / ред. А. Е. Кибрик . - Москва : Прогресс, 1982. - 457 с. - На русском языке. - 2.80 р.
ББК 81.2

Рубрики: Языкознание--Языки мира

Кл.слова (ненормированные):
американская лингвистика -- антитопики -- грамматика -- грамматика универсальная -- диахрония -- дистрибуция -- зарубежная лингвистика -- идентификация -- именные группы -- иностранные языки -- кванторы -- контрастивность -- контролеры -- лингвистика -- лингвистическая теория -- лингвисты -- определенность -- отношения синтаксические -- пассивизация -- подлежащее -- предложения -- релятивизация -- реляционная грамматика -- рефлексивизация -- ролевая грамматика -- семантические роли -- синтаксис -- структура предложения -- типология языков -- топики -- функционализм -- экзистенциальность -- эллипсис -- эмпатия -- эргативность
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)


Доп. точки доступа:
Кибрик , А. Е.
Найти похожие
8.

    Гильберт, Давид
    Основания математики [Текст] : логические исчисления и формализация арифметики: пер. с нем. / Д. Гильберт, П. Бернайс. - 2-е изд. - Москва : Наука, 1982. - 556 с. : ил. - (Математическая логика и основания математики). - 02.70 р.
ББК 22.12

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
аксиомы -- аксиомы Пеано -- арифметика -- бесконечное -- выводимость -- дедуктивное равенство -- дедукционная теорема -- доказательства независимости -- интуитивные рассуждения -- истинностные функции -- исчисление предикатов -- кванторы -- логика высказываний -- логические исчисления -- математическая логика -- нефинитные методы -- основания математики -- предикаты -- проблема разрешимости -- разрешимость -- рассуждения -- редукция -- рекурсия -- систематика -- теоремы о полноте -- теория истинностных функций -- финитный способ рассуждений -- формализация арифметики -- формализм -- формальная аксиоматика
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)


Доп. точки доступа:
Бернайс, П.
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)