Базы данных

Каталог РИБС – результаты поиска

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

    Маслов, Александр Николаевич.
    Логика для детей и взрослых : [книга для родителей] / А. Н. Маслов. - 2-е издание, дополненное. - Москва : Луч, 2019. - 194 с. : рис., табл. ; 21 см. - 500 экз.. - ISBN 978-5-87140-367-9 : 450.00 р.
Экслибрис:
Экз.215574-1: Штамп черного цвета. Государственное бюджетное учреждение культуры г. Севастополя "Централизованная библиотечная система для взрослых". Дар от мецената.
ББК 87.4 + 22.12

Рубрики: Философия--Логика
   Естественные науки--Физико-математические науки--Математика--Основания математики. Математическая логика
Кл.слова (ненормированные):
ЭКСЛИБРИС ЦБС ДЛЯ ВЗРОСЛЫХ. ДАР ОТ МЕЦЕНАТА -- КНИЖНЫЙ БУЛЬВАР 2019

Экземпляры всего: 1
ЦГБ/оо аб (1)
Свободных экз. нет
Найти похожие
2.
22.12я72
А 16

    Абрамов, Сергей Александрович.
    Алгоритмический язык АЛГОЛ 60 : для 9-10-х классов средней школы с углубленным теоретическим и практическим изучением математики / С. А. Абрамов, И. Н. Антипов. - Москва : Просвещение, 1975. - 158 с. : граф. ; 21 см. - 0.21 р.
ББК 22.12я72

Рубрики: Естественные науки--Физико-математические науки--Математика--Основания математики. Математическая логика--Учебные издания для средней школы


Доп.точки доступа:
Антипов, Игорь Николаевич
Экземпляры всего: 1
ЦГБ/оо чз (1)
Свободны: ЦГБ/оо чз (1)
Найти похожие
3.
22.12
А 53

    Алферова, Зоя Васильевна.
    Теория алгоритмов : учебное пособие для вузов по специальности "Организация механизированной обработки экономической информации" / З. В. Алферова. - Москва : Статут, 1973. - 164 с. : черт. ; 22 см. - Библиография: с. 163 (29 назв.). - 22 см экз.. - (в пер.) : 0.49 р.
ББК 22.12

Рубрики: Естественные науки--Физико-математические науки--Математика--Основания математики. Математическая логика--Учебные издания для высших учебных заведений

Экземпляры всего: 1
ЦГБ/кх (1)
Свободны: ЦГБ/кх (1)
Найти похожие
4.
22.12
Б 18

    Байиф, Жан-Клод (французский инженер).
    Логические задачи / Ж.-К. Байиф ; перевод с французского Ю. Н. Сударева. - Москва : Мир, 1983. - 172 с. : ил. ; 20 см. - 0.45 р.
ББК 22.12

Рубрики: Естественные науки--Физико-математические науки--Математика--Основания математики. Математическая логика


Доп.точки доступа:
Сударев, Ю. Н. \пер.\
Экземпляры всего: 8
ЦГБ/кх (1), ф1 (1), ф5 (1), ф7 (1), ф9 (1), ф10 (1), ф12 (1), ф21 (1)
Свободны: ЦГБ/кх (1), ф1 (1), ф5 (1), ф7 (1), ф9 (1), ф10 (1), ф12 (1), ф21 (1)
Найти похожие
5.
22.12
Б 59

    Бизам, Дьердь.
    Игра и логика : 85 логических задач / Д. Бизам, Я. Герцег ; перевод с венгерского Ю. А. Данилова. - Москва : Мир, 1975. - 360 с. : ил. ; 22 см. - 1.15 р.
ББК 22.12

Рубрики: Естественные науки--Физико-математические науки--Математика--Основания математики. Математическая логика


Доп.точки доступа:
Герцег, Я.; Данилов, Ю. А. \пер.\
Экземпляры всего: 1
ЦГБ/оо чз (1)
Свободны: ЦГБ/оо чз (1)
Найти похожие
6.
22.12
Б 59

    Бизам, Дьердь.
    Многоцветная логика : 175 логических задач / Д. Бизам, Я. Герцег ; перевод с венгерского Ю. А. Данилова. - Москва : Мир, 1978. - 435 с. : ил. ; 20 см. - (в пер.) : Б. ц.
ББК 22.12

Рубрики: Естественные науки--Физико-математические науки--Математика--Основания математики. Математическая логика


Доп.точки доступа:
Герцег, Я.; Данилов, Ю. А. \пер.\
Экземпляры всего: 2
ЦГБ/кх (1), ЦГБ/оо чз (1)
Свободны: ЦГБ/кх (1), ЦГБ/оо чз (1)
Найти похожие
7.
22.12
В 44

    Виленкин, Наум Яковлевич (советский математик ; 1920-1991).
    В поисках бесконечности / Н. Я. Виленкин ; АН СССР. - Москва : Наука, 1983. - 161 с. : ил. ; 20 см. - (Наука и технический прогресс). - 43000 экз.. - 0.55 р.
ББК 22.12

Рубрики: Естественные науки--Физико-математические науки--Математика--Основания математики. Математическая логика


Доп.точки доступа:
АН СССР
Экземпляры всего: 4
ф5 (1), ф7 (1), ф11 (1), ф21 (1)
Свободны: ф5 (1), ф7 (1), ф11 (1), ф21 (1)
Найти похожие
8.
22.12
В 67

    Волков, Вадим Алексеевич.
    Элементы теории множеств и развитие понятия числа : учебное пособие / В. А. Волков. - Ленинград : Издательство Ленинградского университета, 1978. - 84 с. : ил., табл. - Библиография: с. 83. - 0.18 р.
ББК 22.12

Рубрики: Естественные науки--Физико-математические науки--Математика--Основания математики. Математическая логика

Экземпляры всего: 1
ЦГБ/кх (1)
Свободны: ЦГБ/кх (1)
Найти похожие
9.
22.12
Г 20

    Гарднер, Мартин (американский математик-любитель, писатель, популяризатор науки ; 1914-2010).
    А ну-ка, догадайся! / М. Гарднер ; перевод с английского Ю. А. Данилова. - Москва : Мир, 1984. - 212 с. : ил. ; 20 см. - 0.60 р.
ББК 22.12

Рубрики: Естественные науки--Физико-математические науки--Математика--Основания математики. Математическая логика


Доп.точки доступа:
Данилов, Ю. А. \пер.\
Экземпляры всего: 12
ЦГБ/оо аб (1), ф5 (1), ф6 (1), ф7 (1), ф28 (1), ф30 (1), ф32 (1), ф33 (1), ф34 (1), ф35 (1), ф37 (1), ф38 (1)
Свободны: ЦГБ/оо аб (1), ф5 (1), ф6 (1), ф7 (1), ф28 (1), ф30 (1), ф32 (1), ф33 (1), ф34 (1), ф35 (1), ф37 (1), ф38 (1)
Найти похожие
10.
22.12
Г 45

    Гжегорчик, Анджей (польский логик и философ, профессор ; 1922-2014).
    Популярная логика : общедоступный очерк логики предложений / А. Гжегорчик ; перевод с польского С. П. Беляева. - Москва : Наука, 1979. - 111 с. : ил. ; 20 см. - Пер. изд. : Logika popularna / Andrzej Grzegorczyk. - 0.25 р.
ББК 22.12

Рубрики: Естественные науки--Физико-математические науки--Математика--Основания математики. Математическая логика


Доп.точки доступа:
Беляев, С. П. \пер.\; Grzegorczyk, Andrzej
Экземпляры всего: 15
ЦГБ/ово (1), ЦГБ/оо чз (1), ф1 (1), ф3 (1), ф4, ф5 (1), ф7 (1), ф11, ф13, ф14 (1), ф19 (1), ф21 (1), ф25 (1), ф31 (1), ф33, ф34 (1), ф35 (1), ф36 (1), ф38 (1)
Свободны: ЦГБ/ово (1), ЦГБ/оо чз (1), ф1 (1), ф3 (1), ф5 (1), ф7 (1), ф14 (1), ф19 (1), ф21 (1), ф25 (1), ф31 (1), ф34 (1), ф35 (1), ф36 (1), ф38 (1)
Найти похожие
11.
22.12
Г 45

    Гжегорчик, Анджей (польский логик и философ, профессор ; 1922-2014).
    Популярная логика : общедоступный очерк логики предложений / А. Гжегорчик ; перевод с польского С. П. Беляева. - Москва : Наука, 1965. - 107 с. : схемы ; 20 см. - Пер. изд. : Logika popularna / Andrzej Grzegorczyk. - 0.16 р.
ББК 22.12

Рубрики: Естественные науки--Физико-математические науки--Математика--Основания математики. Математическая логика


Доп.точки доступа:
Беляев, С. П. \пер.\; Grzegorczyk, Andrzej
Экземпляры всего: 1
ЦГБ/оо аб (1)
Свободны: ЦГБ/оо аб (1)
Найти похожие
12.
22.12
Г 70

    Горстко, Александр Борисович (доктор физико-математических наук, профессор).
    Познакомьтесь с математическим моделированием / А. Б. Горстко. - Москва : Знание, 1991. - 157 с. : ил. - ISBN 5-07-000658-4 : 1.00 р., 0.60 грн. р.
ББК 22.12

Рубрики: Естественные науки--Физико-математические науки--Математика--Основания математики. Математическая логика


Доп.точки доступа:
Народный университет. Естественнонаучный факультет
Экземпляры всего: 5
ЦГБ/оо чз (1), ф5 (1), ф10 (1), ф14 (1), ф16 (1)
Свободны: ЦГБ/оо чз (1), ф5 (1), ф10 (1), ф14 (1), ф16 (1)
Найти похожие
13.
22.12
С 50

    Смаллиан, Рэймонд Меррилл (американский математик, пианист, логик, даосский философ и фокусник-престидижитатор ; 1919-2017).
    Как же называется эта книга? : [сборник задач по логике] / Рэймонд М. Смаллиан ; перевод с английского, предисловие Ю. А. Данилова. - Москва : Издательский Дом Мещерякова, 2007. - 265, [2] с. : ил. ; 20 см. - (Научные развлечения). - 15000 экз.. - ISBN 978-5-91045-012-1 (в пер.) : 75.00 р.
ББК 22.12

Рубрики: Естественные науки--Физико-математические науки--Математика--Основания математики. Математическая логика


Доп.точки доступа:
Данилов, Ю. А. \пер., предисл.\
Экземпляры всего: 1
ф9 (1)
Свободны: ф9 (1)
Найти похожие
14.
22.12
И 75

    Иоффе, Михаил Израилевич.
    Диагностирование логических схем : алгоритмы моделирования и автоматического синтеза теста / М. И. Иоффе ; ответственный редактор Е. Г. Ойхман. - Москва : Наука, 1989. - 157, [1] с. : ил. ; 21 см. - Библиография: с. 156-158. - 3600 экз.. - 0.53 грн.
ББК 22.12

Рубрики: Естественные науки--Физико-математические науки--Математика--Основания математики. Математическая логика


Доп.точки доступа:
Ойхман, Е. Г. \ред.\
Экземпляры всего: 1
ф18 (1)
Свободны: ф18 (1)
Найти похожие
15.
22.12
К 19

    Кановей, Владимир Григорьевич.
    Аксиома выбора и аксиома детерминированности / В. Г. Кановей. - Москва : Наука, 1984. - 64 с. - (Проблемы науки и технического прогресса ПНТП). - Библиография: с.64. - 0.25 р.

ГРНТИ
27
ББК 22.12

Рубрики: Естественные науки--Физико-математические науки--Математика--Основания математики. Математическая логика
Кл.слова (ненормированные):
МНОЖЕСТВА
Аннотация: В брошюре содержится популярное введение в разделы теории множеств, связанные с аксиомой выбора и аксиомой детерминированности.

Экземпляры всего: 2
ф7 (1), ф19 (1)
Свободны: ф7 (1), ф19 (1)
Найти похожие
16.
22.12
К 28

    Касаткин, Валентин Николаевич.
    Новое о системах счисления / В. Н. Касаткин. - Киев : Вища школа, 1982. - 94 с. : ил. ; 21 см. - (Библиотечка физико-математической школы : математика). - Библиография: с. 93. - 0.25 р.
ББК 22.12

Рубрики: Естественные науки--Физико-математические науки--Математика--Основания математики. Математическая логика

Экземпляры всего: 2
ф1 (1), ф3 (1)
Свободны: ф1 (1), ф3 (1)
Найти похожие
17.
22.12
К 82

    Криницкий, Николай Андреевич (доктор физико-математических наук, профессор ; 1914-1993).
    Алгоритмы вокруг нас / Н. А. Криницкий. - 2-е издание. - Москва : Наука, 1984. - 223 с. : ил. - (Проблемы науки и технического прогресса). - (в пер.) : 1.00 р.
ББК 22.12 + 32.973

Рубрики: Естественные науки--Физико-математические науки--Математика--Основания математики. Математическая логика
   Техника. Технические науки--Радиоэлектроника--Вычислительная техника--Электронные вычислительные машины и устройства

Экземпляры всего: 2
ЦГБ/оо аб (1), ф7 (1)
Свободны: ЦГБ/оо аб (1), ф7 (1)
Найти похожие
18.
22.12
К 82

    Криницкий, Николай Андреевич (доктор физико-математических наук, профессор ; 1914-1993).
    Алгоритмы вокруг нас / Н. А. Криницкий. - Москва : Наука, 1977. - 224 с. - (Проблемы науки и технического прогресса). - 0.80 р.
ББК 22.12 + 32.973

Рубрики: Техника. Технические науки--Радиоэлектроника--Вычислительная техника--Электронные вычислительные машины и устройства
   Естественные науки--Физико-математические науки--Математика--Основания математики. Математическая логика


Доп.точки доступа:
Академия наук CССР (Москва)
Экземпляры всего: 1
ЦГБ/кх (1)
Свободны: ЦГБ/кх (1)
Найти похожие
19.
22.12
К 98

    Кэрролл, Льюис (английский детский писатель, математик, логик ; 1832-1898).
    Логическая игра / Л. Кэрролл ; перевод с английского Ю. А. Данилова. - Москва : Наука, 1991. - 192 с : ил. ; 21 см. - (Библиотечка "Квант" ; вып. 73). - Библиография: с. 188-190. - 270000 экз.. - ISBN 5-02-014220-4 : 3.00 р.

ГРНТИ
27
ББК 22.12

Рубрики: Естественные науки--Физико-математические науки--Математика--Основания математики. Математическая логика


Доп.точки доступа:
Данилов, Ю. А. \пер., авт. предисл.\; Доджсон, Чарльз Лютвидж
Экземпляры всего: 15
ЦГБ/кх (1), ЦГБ/оо аб (2), ф1 (1), ф3 (1), ф4 (1), ф5 (1), ф6 (1), ф7 (1), ф9 (1), ф10 (1), ф19 (1), ф21 (1), ф28 (1), ф35 (1)
Свободны: ЦГБ/кх (1), ЦГБ/оо аб (2), ф1 (1), ф3 (1), ф4 (1), ф5 (1), ф6 (1), ф7 (1), ф9 (1), ф10 (1), ф19 (1), ф21 (1), ф28 (1), ф35 (1)
Найти похожие
20.
22.12
Л 69

   
    Логический подход к искусственному интеллекту: от классической логики к логическому программированию / [А. Тейз, П. Грибомон, Ж. Луи и др.] ; перевод с французского П. П. Пермякова ; под редакцией Г. П. Гаврилова. - Москва : Мир, 1990. - 429 с. : ил. ; 21 см. - Библиография: с. 411-417. - Предметный указатель: с. 418-423. - Пер. изд. : Approche logique de l'‎intelligence artificielle / P. A. Thayse, P. Gribomont, G. Louis. - 20000 экз.. - ISBN 5-03-001636-8 (в пер.) : 2.90 р
Авторы указаны на обороте титульного листа
ББК 22.12

Рубрики: Естественные науки--Физико-математические науки--Математика--основания математики. Математическая логика


Доп.точки доступа:
Тейз, Андре; Грибомон, П.; Луи, Ж.; Пермяков, П. П. \пер.\; Гаврилов, Г. П. \ред.\; Thayse, P. A.; Gribomont, P. ; Louis, G.
Экземпляры всего: 1
ЦГБ/оо чз (1)
Свободны: ЦГБ/оо чз (1)
Найти похожие
 1-20    21-30 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
УДК-навигатор
ББК-навигатор
Тематический навигатор
 ''
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)

Дизайн © Евгений Гришин

Яндекс.Метрика