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

Базы данных


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

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

Вид документа : Однотомное издание
Шифр издания : 22.12я7/У67-497575
Автор(ы) : Дюдяева Г. В., Зиновьев П. М., Зиновьева Т. Ф., Орлова И. Е.
Заглавие : Упражнения по теории множеств и логике : учеб. пособие для студентов по спец. 050708 "Педагогика и методика начального образования"
Выходные данные : Саратов, 2005
Колич.характеристики :46 с
Коллективы : Саратовский государственный университет имени Н. Г. Чернышевского. Педагогический институт
Серия: Студентам, учителям, школьникам
Цена : 10.00 р.
УДК : 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математика--математическая логика--множеств теория--множества--комбинаторика--предикаты--кванторы--теоремы
Аннотация: Задачи, представленные в сборнике, помогут лучше усвоить следующие разделы курса : элементы теории множеств, комбинаторика, элементы логики.
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 510/М 50
Автор(ы) : Мендельсон Э.
Заглавие : Введение в математическую логику . -3.изд.
Выходные данные : М.: Наука, 1984
Колич.характеристики :320 с. ; 22см
Цена : 1.80 р.
ГРНТИ : 27.03
УДК : 510.6
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): исчисление--тавтологии--кванторы--теоремы--изоморфизмы--арифметика--арифметические функции--теорема гёделя--теорема тарского--система робинсона--числа--порядковые числа--гёдель--хартогс--теорема хартогса--алгорифмы маркова--алгорифмы тьюринга--алгорифмы--марков--тьюринг
Аннотация: В книге освещается широкий круг вопросов. В ней излагаются следующие темы: логика высказываний и логика предиктов, элементарные теории, формализованная арифметика, аксиоматическая теория множеств, теория алгоритмов. Изложению присуща ясность, простота и лаконичность. Значительная роль в книге отведена упражнениям, куда вынесена часть материала, используемого в основном тексте.
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 16/М 50
Автор(ы) : Мендельсон Э.
Заглавие : Введение в математическую логику : научное издание
Выходные данные : М.: Наука, 1971
Колич.характеристики :320 с. ; 22 см
Цена : 1.77 р.
ГРНТИ : 27.03
УДК : 16
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): пропозициональные связки--кванторы--арифметизация--теория множеств--теорема хартогса--теорема тарского
Аннотация: Дается доступное изложение основных разделов математической логики и многих ее приложений, освещены также теория моделей и аксиоматическая теория множеств.
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 16/К 26
Автор(ы) : Карри Х. Б.
Заглавие : Основания математической логики : научное издание
Параллельн. заглавия :Founbations of mathematical logic/ H. B. Curry
Выходные данные : М.: Изд-во "Мир", 1969
Колич.характеристики :568 с.: ил.; 22 см
Примечания : Библиогр.: с. 519-547. - Тит. л. парал. на англ. яз.
Цена : 2.64 р.
УДК : 16
Ключевые слова (''Своб.индексиров.''): формальные системы--реляционная алгебра--эквивалентности систем--кванторы--модальности
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 16/К 17
Автор(ы) : Калужнин Л. А.
Заглавие : Что такое математическая логика? : научное издание
Выходные данные : М.: Изд-во "Наука", 1964
Колич.характеристики :152 с.: ил., граф., табл.; 20 см
Примечания : Библиогр.: с. 149-150 (29 назв.)
Цена : 0.21 р.
УДК : 16
Ключевые слова (''Своб.индексиров.''): логика высказываний--формулы логики--предикаты--кванторы--математическая логика
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 16/С 81
Автор(ы) : Столяр А. А.
Заглавие : Элементарное введение в математическую логику : научное издание
Выходные данные : М.: Изд-во "Просвещение", 1965
Колич.характеристики :162 с.: ил.; 21 см
Примечания : Библиогр.: с. 162
Цена : 0.22 р.
УДК : 16
Ключевые слова (''Своб.индексиров.''): математическая логика--логика высказываний--логика предикатов--множества--традиционная логика--кванторы--эквивалентные формулы
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 81.2/Н 74
Заглавие : Новое в зарубежной лингвистике : современные синтаксические теории в американской лингвистике. Вып.11
Выходные данные : Москва: Прогресс, 1982
Колич.характеристики :457 с
Примечания : На русском языке
Цена : 2.80 р.
ББК : 81.2
Предметные рубрики: Языкознание-- Языки мира
Ключевые слова (''Своб.индексиров.''): американская лингвистика--антитопики--грамматика--грамматика универсальная--диахрония--дистрибуция--зарубежная лингвистика--идентификация--именные группы--иностранные языки --кванторы--контрастивность--контролеры--лингвистика--лингвистическая теория--лингвисты--определенность--отношения синтаксические--пассивизация--подлежащее--предложения--релятивизация--реляционная грамматика--рефлексивизация--ролевая грамматика--семантические роли--синтаксис--структура предложения--типология языков--топики--функционализм--экзистенциальность--эллипсис--эмпатия--эргативность
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Гильберт Давид, Бернайс П.
Заглавие : Основания математики : логические исчисления и формализация арифметики: пер. с нем. . -2-е изд.
Выходные данные : Москва: Наука, 1982
Колич.характеристики :556 с.: ил.
Серия: Математическая логика и основания математики
Цена : 02.70 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): аксиомы--аксиомы пеано--арифметика--бесконечное--выводимость--дедуктивное равенство--дедукционная теорема--доказательства независимости--интуитивные рассуждения--истинностные функции--исчисление предикатов--кванторы--логика высказываний--логические исчисления--математическая логика--нефинитные методы--основания математики--предикаты--проблема разрешимости--разрешимость--рассуждения--редукция--рекурсия--систематика--теоремы о полноте--теория истинностных функций--финитный способ рассуждений--формализация арифметики--формализм--формальная аксиоматика
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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