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