Поисковый запрос: (<.>U=22.12<.>) |
Общее количество найденных документов : 39
Показаны документы с 1 по 20 |
|
1. 
|
Смаллиан, Рэймонд М..
Как же называется эта книга? [Текст] : сб. задач по логике / Р. М. Смаллиан ; пер. с англ. и предисл. Ю. А. Данилова. - Москва : Издательский Дом Мещерякова, 2007. - 272 с. : ил. - (Научные развлечения). - ISBN 978-5-91045-012-1 : 94.71 р.
ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
задачи -- логика -- математические задачи -- научные развлечения -- сборники задач
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Доп. точки доступа:
Данилов, Ю. А.
Найти похожие
|
2.
|
Колмогоров, Андрей Николаевич.
Теория информации и теория алгоритмов [Текст] : [сборник статей] / А. Н. Колмогоров ; сост. А. Н. Ширяев ; ред. Ю. В. Прохоров. - Москва : Наука, 1987. - 304 с. - 1.60 р.
ББК 22.12
Рубрики: Математика--Общие вопросы математики
Кл.слова (ненормированные):
статьи -- теория алгоритмов -- теория информации
Аннотация: Включены работы по теории информации и теории алгоритмов и их приложениям к различным областям знания.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Доп. точки доступа:
Ширяев, А. Н.
Прохоров, Ю. В.
Найти похожие
|
3.
|
Кановей, Владимир Григорьевич.
Аксиома выбора и аксиома детерминированности [Текст] / В. Г. Кановей. - Москва : Наука, 1984. - 64 с. - (Проблемы науки и технического прогресса). - Библиогр.: с. 64. - 0.25 р.
ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
аксиома выбора -- аксиома детерминированности -- математическая логика -- основания математики -- теория множеств
Аннотация: В брошюре содержится популярное введение в разделы теории множеств, связанные с аксиомой выбора и аксиомой детерминированности.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие
|
4.
|
Успенский, Владимир Андреевич.
Теория алгоритмов: основные открытия и приложения [Текст] / В. А. Успенский, А. Л. Семенов. - Москва : Наука, 1987. - 288 с. - (Библиотечка программиста). - Библиогр.: с. 245. - 1.20 р.
ББК 22.12
Рубрики: Математика--Теория функций
Кл.слова (ненормированные):
алгоритмы -- машины Тьюринга -- машины Шенхаге -- проблема сводимости Поста -- теория алгоритмов
Аннотация: Дается обзор важнейших достижений теории алгоритмов с момента зарождения этой теории.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Доп. точки доступа:
Семенов, Алексей Львович
Найти похожие
|
5.
|
Справочная книга по математической логике [Текст] : в четырех частях: пер. с англ. / ред. Дж. Барвайс. - Москва : Наука, 1982 - 1983.
Ч. 1 : Теория моделей. - 1982. - 392 с. : ил. - 2.20 р.
ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
алгебраические системы -- бесконечная логика -- допустимые множества -- инфинитезимальный анализ -- категорная логика -- логика -- логика первого порядка -- математическая логика -- множества -- модельная полнота -- однородные множества -- справочники -- теория моделей
Аннотация: "Справочник по математической логике" является попыткой коллектива математиков рассказать о некоторых современных достижениях в логике. Из многообразия относящихся сюда тем были отобраны те, которые затрагивают основные проблемы данной области или особенно важны для применений в математике.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Доп. точки доступа:
Барвайс, Дж. \\ред.\\
Найти похожие
|
6.
|
Куликов, А. Н.
Развивающие игры и головоломки [Текст] / А. Н. Куликов. - Москва : ЮНИК инк : ИКТЦ "Лада", 2006. - 256 с. - ISBN 5-93169-085-9 : 54.65 р.
ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
головоломки -- занимательные задачи -- логические игры -- математические игры -- пособия для школ -- развивающие игры
Аннотация: Эта книга поможет научиться логически рассуждать и нестандартно мыслить.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие
|
7.
|
Гжегорчик, Анджей.
Популярная логика [Текст] : общедоступный очерк логики предложений / А. Гжегорчик; пер. с польского С. П. Беляева. - 3-е изд., стереотип. - Москва : Наука, 1979. - 111 с. - 0.25 р.
ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
гуманитарные науки -- дизъюнкция -- закон двойного отрицания -- закон исключенного третьего -- закон контрапозиции -- закон моргана -- закон непротиворечивости -- законы логики -- импликативные силлогизмы -- конъюкция -- логика предложений -- логические союзы -- математические науки -- правило отделения -- применение логики -- техника -- умозаключение -- эквивалентность
Аннотация: Книга Анджея Гжегорчика предназначена для того, чтобы удовлетворить возрастающий интерес к математической логике людей, не являющихся специалистами ни в математике, ни в логике.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Доп. точки доступа:
Беляев, С. П.
Найти похожие
|
8.
|
Бирюков, Борис Владимирович.
Жар холодных числ и пафос бесстрастной логики [Текст] : формализация мышления от античных времен до эпохи кибернетики / Б. В. Бирюков, В. Н. Тростников. - Москва : Знание, 1977. - 191 с. - (Наука и прогресс). - 0.35 р.
ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
вычислительные машины -- история вычислительных машин -- кибернетика -- математико-логический аппарат -- математическая логика
Аннотация: Цель книги - создать общую картину подготовки и развития логико-математических аспектов кибернетики. Авторы рассказывают о длительном развитии науки и логики, возникшей еще в Древней Греции, прослеживают непрерывающуюся нить преемственности, тянущуюся от Аристотеля к "чуду XX века" - быстродействующим кибернетическим устройствам.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Доп. точки доступа:
Тростников, Виктор Николаевич
Найти похожие
|
9.
|
Бирюков, Б. В.
Жар холодных чисел и пафос бесстрастной логики [Текст] : формализация мышления от античных времен до эпохи кибернетики / Б. В. Бирюков. - 2-е изд., перераб. и доп. - Москва : Знание, 1985. - 192 с. - (Наука и прогресс). - 0.35 р.
ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
кибернетика -- концепция Брауэра -- логика -- математическая логика -- теоремы Геделя -- теории действенных чисел -- формулы -- эвм
Аннотация: Цель книги доктора философских наук Б. В. Бирюкова - создать общую картину подготовки и развития логико-математических аспектов кибернетики. Автор рассказывает о длительном развитии науки логики, возникшей еще в Древней Греции, прослеживает непрерывающуюся нить преемственности, тянущуюся от Аристотеля к "чуду ХХ века" - быстродействующим кибернетическим устройствам.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие
|
10.
|
Смаллиан, Раймонд М..
Принцесса или тигр? [Текст] : пер. с англ. / Р. М. Смаллиан. - Москва : Мир, 1985. - 222 с. - 0.55 р.
ББК 22.12
Рубрики: Математика--Общие вопросы математики
Кл.слова (ненормированные):
головоломки -- занимательная логика -- занимательная математика -- логика -- математическая логика
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие
|
11.
|
Смаллиан, Рэймонд М..
Как же называется эта книга? [Текст] / Р. М. Смаллиан ; пер. Ю. А. Данилов. - Москва : Мир, 1981. - 0.60 р.
ББК 22.12
Рубрики: Математика--Общие вопросы математики
Кл.слова (ненормированные):
головоломки -- занимательная логика -- занимательная математика -- логика -- математическая логика
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Доп. точки доступа:
Данилов, Ю. А.
Найти похожие
|
12.
|
Архангельский, Александр Владимирович.
Канторовская теория множеств [Текст] : [учеб. издание] / А. В. Архангельский. - Москва : Издательство Московского государственного университета, 1988. - 112 с. - Библиогр.: с. 112. - 0.25 р.
ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
деревья (матем.) -- канторовская теория -- кардинальная арифметика -- комбинаторная теория множеств -- комбинаторные теоремы -- математическая логика -- теория множеств
Аннотация: Цель книги - научить практической работе с множествами. Приведены основные факты арифметики кардинальных чисел, важнейшие теоремы о вполне упорядоченных множествах и ординалах, дано введение в комбинаторную теорию множеств.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие
|
13.
|
Грин, Дэниел Х..
Математические методы анализа алгоритмов [Текст] / Д. Х. Грин, Д. Э. Кнут. - Москва : Мир, 1987. - 120 с. - 00.55 р.
ББК 22.12
Рубрики: Математика--Общие вопросы математики
Кл.слова (ненормированные):
алгоритмы -- анализ алгоритмов -- асимптотические представления -- биноминальные тождества -- комбинаторные тождества -- математические методы -- операторные методы -- рекуррентные соотношения
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Доп. точки доступа:
Кнут, Дональд Э.
Найти похожие
|
14.
|
Никольская, И. Л.
Учимся рассуждать и доказывать [Текст] : кн. для уч-ся 6-10 кл. сред. шк. / Никольская И.Л., Семенов Е.Е. - Москва : Просвещение, 1989. - 192 с. : ил. - 1 р.
ББК 22.12
Рубрики: Математика--Общие вопросы математики
Кл.слова (ненормированные):
10 класс -- 6 класс -- 7 класс -- 8 класс -- 9 класс -- детское издание -- книги для школ -- математическая логика
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Доп. точки доступа:
Семенов, Е. Е.
Найти похожие
|
15.
|
Кэрролл, Льюис.
Логическая игра [Текст] / Л. Кэрролл ; пер. Ю. А. Данилов. - Москва : Наука, 1991. - 192 с. : ил. - (Библиотечка "Квант"). - Библиогр.: с. 188-190. - 3 р.
ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
алгебраическая логика -- логические игры -- силлогизмы -- сориты
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Доп. точки доступа:
Данилов, Ю. А.
Найти похожие
|
16.
|
Колмогоров, Андрей Николаевич.
Введение в математическую логику [Текст] : учебное пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Издательство Московского государственного университета, 1982. - 119 с. - 0.25 р.
ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
логика высказываний -- логика предикатов -- логико-математические языки -- логические законы -- математическая логика -- математический язык -- теория множеств -- формальные аксиоматические теории
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Доп. точки доступа:
Драгалин, Альберт Григорьевич
Найти похожие
|
17.
|
Мендельсон, Эллиот.
Введение в математическую логику [Текст] / Э. Мендельсон. - 3-е изд. - Москва : Наука, 1984. - 320 с. - Библиогр.: с. 296-319. - 1.80 р.
ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
аксиоматическая теория множеств -- алгорифмы Маркова -- алгорифмы Тьюринга -- логика высказываний -- логика предикатов -- математическая логика -- теорема Хартогса -- теория алгоритмов -- формализованная арифметика -- формальная арифметика -- элементарные теории
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие
|
18.
|
Никольская, Инна Львовна.
Знакомство с математической логикой [Текст] : учебно-методическая литература для школ и вузов / И. Л. Никольская. - Москва : Флинта, 1998. - 128 с. - (Библиотека педагога-практика). - ISBN 5-89502-036-4 : 23.00 р.
ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
логика высказываний -- логика предикатов -- математическая логика
Аннотация: Книга содержит теоретический материал и систему упражнений,обеспечивающие первоначальное знакомство с основными понятиями и языком математической логики,выработку некоторых навыков их применения.Для школьников,студентов.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие
|
19.
|
Линдон, Р.
Заметки по логике [Текст] / Р. Линдон ; пер. с англ. Ю. А. Гастева ; ред. И. М. Яглом. - Москва : Мир, 1968. - 128 с. - 0.41 р.
ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
булева алгебра -- геделевы номера -- логика -- математические методы -- пропозициональная логика -- разрешимые теории -- теорема Геделя -- теорема Крейга -- теорема Левенгейма-Сколема -- теорема Тарского -- теорема Черча -- теорема Эрбрана-Генцена -- теорема адекватности -- теорема дедукции -- теорема компктности -- теорема о непротиворечивости -- теоремы (логика)
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Доп. точки доступа:
Гастева, Ю. А.
Яглом, Исаак Моисеевич
Найти похожие
|
20.
|
Ляпунов, Александр Михайлович.
Избранные труды [Текст] / А. М. Ляпунов ; ред. В. И. Смирнов. - Москва : Издательство Академии наук СССР, 1948. - 540 с. - (Классики науки). - 3.20 р.
ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
задача Дирихле -- математическая логика -- предел вероятности -- свойства движения -- теоремы -- теория вероятностей -- устойчивость движения -- форма небесных тел
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Доп. точки доступа:
Смирнов, В. И.
Найти похожие
|
|
|
|
Электронный каталог
Стандартный (по одному полю)