Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


Сводный каталог муниципальных библиотек- результаты поиска

Вид поиска
Каталог книг библиотек Ленинского района
Каталог периодики библиотек Ленинского района
Каталог редких книг библиотек Ленинского района
Сводный каталог муниципальных библиотек
Библиотека электронных книг ЛИТРЕС
БД мероприятий
Область поиска
в найденном
 Найдено в других БД:Каталог книг библиотек Ленинского района (10)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Математическая логика<.>)
Общее количество найденных документов : 23
Показаны документы с 1 по 10
 1-10    11-20   21-23 
1.
   22.1
   Б59

    Бизам, Д.
    Многоцветная логика : 175 логических задач / Д. Бизам, Я. Герцег ; пер. Ю. А. Данилова. - Москва : Мир, 1978. - 435 с. : ил. - (Занимательная математика). - (В пер) : 1.50 р., 10.00 р., 16.00 р.
ББК 22.1
Рубрики: Математическая логика
   Логика--Математическая


Доп.точки доступа:
Герцег, Я.; Данилова, Ю. А. \пер.\
Экземпляры всего: 20
11-Ф3 (1) - , 11-Ф7 (1) - , 11-Ф5 (1) - , 11-Ф1 (1) - , 11-Аб. (1) - , 10-ОО (1) - , 06-ЧЗ (1) - , 06-АБ (2) - , 06-Ф.1 (1) - , 03-АБ (1) - , 03-Ф1 (3) - , 03-Ф1-ДО (2) - , 03-Ф2 (1) - , 03-Ф5 (1) - , 01-Цех (1) - , 01-ОБИС (1) -
Свободны: 11-Ф3 (1), 11-Ф7 (1), 11-Ф5 (1), 11-Ф1 (1), 11-Аб. (1), 10-ОО (1), 06-ЧЗ (1), 06-АБ (2), 06-Ф.1 (1), 03-АБ (1), 03-Ф1 (3), 03-Ф1-ДО (2), 03-Ф2 (1), 03-Ф5 (1), 01-ОБИС (1)
Найти похожие
2.
   22.1
   М 23

    Манин, Юрий Иванович.
    Доказуемое и недоказуемое / Ю. И. Манин. - Москва : Советское радио, 1979. - 167 с. - (Кибернетика). - 0.60 р.
ББК 22.12
Рубрики: Математическая логика

Экземпляры всего: 1
03-АБ (1) -
Свободны: 03-АБ (1)
Найти похожие
3.
   22.1
   В 44

    Виленкин, Наум Яковлевич.
    В поисках бесконечности / Н. Я. Виленкин ; Академия наук СССР. - Москва : Наука, 1983. - 160 с. : ил. - (Наука и технический прогресс). - 0.55 р.
ББК 22.12
Рубрики: Математическая логика
   Логика--Математическая


Доп.точки доступа:
Академия наук СССР
Экземпляры всего: 3
06-Ф.1 (1) - , 08-Ф02АБ (1) - , 03-Ф7 (1) -
Свободны: 06-Ф.1 (1), 08-Ф02АБ (1), 03-Ф7 (1)
Найти похожие
4.
6+
   22.1
   К 72

    Костюков, Леонид Владимирович.
    Логика: доказательство и мышление : занимательная математика / Л. В. Костюков. - Москва : ОЛМА Медиа Групп, 2014. - 127 с. - (Занимательная наука). - ISBN 978-5-373-06766-9 (в пер.) : 201.19 р.
ББК 22.1я92
Рубрики: Математика занимательная
   Математическая логика

Экземпляры всего: 6
03-Ф1-ДО (1) - , 03-Ф2-ДО (1) - , 03-Ф3 (1) - , 03-Ф4 (1) - , 03-Ф5 (1) - , 03-Ф7-ДО (1) -
Свободны: 03-Ф1-ДО (1), 03-Ф2-ДО (1), 03-Ф3 (1), 03-Ф4 (1), 03-Ф5 (1), 03-Ф7-ДО (1)
Найти похожие
5.
   22.1
   А 45

   
    Алгоритмика: 5-7кл. [Текст] : учебник для общеобразовательных учеб.заведений. - 2-е изд. - Москва : Дрофа, 1997. - 299 с. : ил. - (в пер.) : 20.00 р.
ББК 22.12
Рубрики: Математическая логика

Экземпляры всего: 1
08-Ф03ДС (1) -
Свободны: 08-Ф03ДС (1)
Найти похожие
6.
   22.1
   С 50

    Смаллиан, Рэймонд (1919-2017).
    Принцесса или тигр? [Текст] / Р. М. Смаллиан ; пер. с англ. И. Зино. - Москва : Издательский дом Мещерякова, 2009. - 351 с. - (Научные развлечения). - ISBN 978-5-91045-122-7 (в пер.) : 10.00 р., 242.00 р.
ББК 22.12
Рубрики: Математическая логика--Популярные издания


Доп.точки доступа:
Зино, И. \пер. с англ.\
Экземпляры всего: 2
06-ЧЗ (1) - , 08-Ф07ЧЗ (1) -
Свободны: 06-ЧЗ (1), 08-Ф07ЧЗ (1)
Найти похожие
7.
   22.1
   Э 19

    Эдельман, Самсон Львович.
    Математическая логика [Текст] : [учебное пособие для педагогических институтов] / С. Л. Эдельман. - Москва : Высшая школа, 1975. - 176 с. - 0.30 р.
ББК 22.12
Рубрики: Логика математическая
   Математическая логика

Экземпляры всего: 4
06-АБ (1) - , 06-ЧЗ (1) - , 08-Ф01АБ (1) - , 08-Ф02АБ (1) -
Свободны: 06-АБ (1), 06-ЧЗ (1), 08-Ф01АБ (1), 08-Ф02АБ (1)
Найти похожие
8.
   22.1
   С 89

    Судоплатов, Сергей Владимирович.
    Математическая логика и теория алгоритмов [Текст] : учебник / С. В. Судоплатов, Е. В. Овчинникова ; Новосибирский государственный технический ун-т. - Москва : ИНФРА-М ; Новосибирск : Новосибирский государственный технический университет, 2004. - 224 с. - (Высшее образование). - ISBN 5-16-001975-8 (в пер.) : 80.00 р.
ББК 22.12я73
Рубрики: Математическая логика


Доп.точки доступа:
Овчинникова, Елена Викторовна; Новосибирский государственный технический университет (Новосибирск)
Экземпляры всего: 1
08-Ф02ЧЗ (1) -
Свободны: 08-Ф02ЧЗ (1)
Найти похожие
9.
   22.1
   Е 80

    Ершов, Юрий Леонидович.
    Математическая логика [Текст] : учебное пособие для математических специальностей вузов / Ю. Л. Ершов, Е. А. Палютин. - 2-е изд., испр. и доп. - Москва : Наука, 1987. - 336 с. - Предм. указ.: с. 335-336. - (в пер.) : 1.10 р., 0.95 р.
ББК 22.12
Рубрики: Математическая логика--Учебные издания для высших учебных заведений


Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 5
09-ОО (1) - , 09-ф1 (1) - , 06-АБ (2) - , 08-Ф04АБ (1) -
Свободны: 09-ОО (1), 09-ф1 (1), 06-АБ (2), 08-Ф04АБ (1)
Найти похожие
10.
   22.1
   М 87

    Мощенский, В. А.
    Лекции по математической логике [Текст] : учебное пособие для вузов / В. А. Мощенский. - Минск : Белорусский государственный университет, 1973. - 160 с. - 0.30 р.
ББК 22.12
Рубрики: Математика--Логика
   Математическая логика

Экземпляры всего: 1
08-Ф04АБ (1) -
Свободны: 08-Ф04АБ (1)
Найти похожие
 1-10    11-20   21-23 
 
Стандартный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)