Поисковый запрос: <.>S=Математическая логика<.> |
Общее количество найденных документов : 30
Показаны документы с 1 по 10 |
|
1. 
|
Вид документа : Однотомное издание
Шифр издания : 22.17/Т 68
Автор(ы) : Триумфгородских, Максим Валерьевич
Заглавие : Дискретная математика и математическая логика для информатиков, экономистов и менеджеров
: учебное пособие для студентов вузов
Выходные данные : М.: Диалог-МИФИ, 2011
Колич.характеристики :180 с.:
рис.
Примечания : Библиогр. в конце глав
ISBN, Цена 978-5-86404-238-0: 207.90 р.
ББК : 22.174я73 + 22.122я73
Предметные рубрики: Математическая логика
Дискретная математика
Экземпляры :ЧЗ(1)
Свободны : ЧЗ(1)
Найти похожие
|
2.
|
Вид документа : Однотомное издание
Шифр издания : 32.81/В 74
Заглавие : Вопросы кибернетики
: неоклассич. логики и их применение: [сб. ст.]
Выходные данные : Б.м., 1982
Колич.характеристики :170 с.:
ил.
Коллективы :
АН СССР, Науч. совет по комплекс. пробл. "Кибернетика"
Примечания : Библиогр. в конце ст.
ISBN, Цена 5-ВО-КИ-НЕ-82: 1.64 р.
ББК : 32.81я54 + 22.122я54
Предметные рубрики: Кибернетика-- Математические основы
Математическая логика
Экземпляры :КХ(1)
Свободны : КХ(1)
Найти похожие
|
3.
|
Вид документа : Однотомное издание
Шифр издания : 22.12/Э 19
Автор(ы) : Эдельман, Самсон Львович
Заглавие : Математическая логика
: учебное пособие для педагогических институтов
Выходные данные : Москва: Высшая школа, 1975
Колич.характеристики :176 с
Примечания : Библиогр.: с. 172 (14 назв.). - Предм. указ.: с. 173-176
ISBN, Цена 5-МА-ЛО-ЭД-75: 0.30 р.
ББК : 22.12я73
Предметные рубрики: Математическая логика
Экземпляры :АБ(1)
Свободны : АБ(1)
Найти похожие
|
4.
|
Вид документа : Однотомное издание
Шифр издания : 22.12/Ш 23
Автор(ы) : Шапиро, Самуил Иосифович
Заглавие : Решение логических и игровых задач
Выходные данные : Москва: Радио и связь, 1984
Колич.характеристики :153 с
Примечания : Библиогр.: с. 151
ISBN, Цена 5-РЕ-ЛО-ИГ-ША: 00.55 р.
ББК : 22.122
Предметные рубрики: Математическая логика
Экземпляры :КХ(1)
Свободны : КХ(1)
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : 22.14/М 21
Автор(ы) : Мальцев, Анатолий Иванович
Заглавие : Алгебраические системы
Выходные данные : Москва: Наука, 1970
Колич.характеристики :392 с.:
ил.; 21; 1 л.:
портр.
Серия: Современная алгебра
Примечания : Библиогр.: с. 384-387 (78 назв.). - Предм. указатель: с. 388-392
ISBN, Цена 5-АЛ-СИ-МА-70: 1.50 р.
ББК : 22.14 + 22.124
Предметные рубрики: Алгебра высшая
Математическая логика
Экземпляры : всего : КХ(1), АБ(1)
Свободны : КХ(1), АБ(1)
Найти похожие
|
6.
|
Вид документа : Однотомное издание
Шифр издания : 32.81/В 74
Заглавие : Вопросы кибернетики
: Сложность вычислений и прикладная математическая логика
Выходные данные : Москва, 1988
Колич.характеристики :180 с
Коллективы :
Академия наук СССР. Научный совет по комплексной проблеме "Кибернетика"
Разночтения заглавия :Вар. загл.: Сложность вычислений и прикладная математическая логика
ISBN, Цена 5-ВО-КИ-АД-88: 1.60 р.
ББК : 32.81я54 + 22.19я54
Предметные рубрики: Кибернетика
Математическая логика
Экземпляры :КХ(1)
Свободны : КХ(1)
Найти похожие
|
7.
|
Вид документа : Однотомное издание
Шифр издания : 22.12/С 14
Автор(ы) : Сайфуллаев, Нигматулла Мирзоевич
Заглавие : Логический анализ понятия количества
Выходные данные : Душанбе: Дониш, 1989
Колич.характеристики :133, [2] с
Коллективы :
АН ТаджССР, Отд. философии
Примечания : Библиогр.: с. 129-134
ISBN, Цена 5-ЛО-АН-ПО-89: 1.60 р.
ББК : 22.122
Предметные рубрики: Математическая логика
Экземпляры :КХ(1)
Свободны : КХ(1)
Найти похожие
|
8.
|
Вид документа : Однотомное издание
Шифр издания : 87.4/С 38
Заглавие : Синтаксические и семантические исследования неэкстенсиальных логик
: [сб. ст.]
Выходные данные : Москва: Наука, 1989
Колич.характеристики :308, [1] с
Коллективы :
АН СССР, Ин-т философии
Примечания : Библиогр. в конце ст.
ISBN, Цена 5-02-008026-8: 2.90 р.
ББК : 87.41я431 + 22.122я431
Предметные рубрики: Математическая логика
Экземпляры :КХ(1)
Свободны : КХ(1)
Найти похожие
|
9.
|
Вид документа : Однотомное издание
Шифр издания : 22.12/Ф 86
Автор(ы) : Фрейденталь, Ханс
Заглавие : Язык логики
Выходные данные : Москва: Наука, 1969
Колич.характеристики :135 с
ISBN, Цена 5-ЯЗ-ЛО-ФР-69: 00.49 р.
ББК : 22.12я73
Предметные рубрики: Математическая логика
Экземпляры : всего : КХ(1), АБ(1)
Свободны : КХ(1), АБ(1)
Найти похожие
|
10.
|
Вид документа : Однотомное издание
Шифр издания : 22.12/Р 58
Автор(ы) : Робинсон, Авраам
Заглавие : Введение в теорию моделей и метаматематику алгебры
Выходные данные : Москва: Наука, 1967
Колич.характеристики :376 с
Серия: Математическая логика и основания математики
Перевод издания: Robinson, A. Introduction to Model Theory and to the Metamathematics of Algebra. -Amsterdam, 1963
Примечания : Библиогр.: с. 356-372. - Указ.: с. 373-376. - На обл. авт. и загл. отсутствуют
ISBN, Цена 5-ВВ-ТЕ-МО-67: 1.65 р.
ББК : 22.12
Предметные рубрики: Математическая логика
Экземпляры : всего : КХ(1), АБ(1)
Свободны : КХ(1), АБ(1)
Найти похожие
|
|
|
|
Главная
Описание
Электронный каталог
Стандартный