Описание Шлюз Z39.50

Базы данных


Электронный каталог МАУК "Калининградская ЦБС" - результаты поиска

Вид поиска
Электронный каталог МАУК "Калининградская ЦБС"
Каталог оцифрованных изданий
Статьи из журналов и газет
Краеведческая картотека статей
Библиотека ЛитРес
Каталог Библиотеки Калининградского зоопарка
Область поиска
в найденном
 Найдено в других БД:Статьи из журналов и газет (8)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=МАТЕМАТИЧЕСКАЯ ЛОГИКА<.>)
Общее количество найденных документов : 51
Показаны документы с 1 по 20
 1-20    21-40   41-51 
1.
   22.12
   К 64

    Кондаков, Н. И.
    Логический словарь [Текст] / Н. И. Кондаков ; АН СССР, Ин-т философии. - М. : Наука, 1971. - 656 с. - Библиогр.: с. 616-649.-Указ. имен: с. 650-656. - (в пер.) : 5.00 р.
ББК 22.12я21

Кл.слова (ненормированные):
МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕРМИНОЛОГИЯ


Доп.точки доступа:
АН СССР. Ин-т философии
Экземпляры всего: 1
ф4 (1)
Свободных экз. нет
Найти похожие
2.
   22.1
   С 54

    Соболевский, Р. Ф.
    Логические и математические игры [Текст] / Р. Ф. Соболевский. - Минск : Нар. асвета, 1977. - 95 с. : ил. -
ББК 22.18

Кл.слова (ненормированные):
МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЗАНИМАТЕЛЬНАЯ -- ИГРЫ -- МЕТОДИКА ПРЕПОДАВАНИЯ
Аннотация: Предлагаемая книга содержит описание игр и дидактический материал для их проведения. Игры рассчитаны на детей 6—10 лет. Они способствуют развитию логического и математического мышления детей. Пособие предназначается для воспитателей детских садов, учителей начальных классов и родителей, а также может быть использовано учителями математики IV—V классов.

Свободных экз. нет
Найти похожие
3.
   22.12
   Б59

    Бизам, Д.
    Многоцветная логика : 175 логических задач [Текст] : /Пер.с венг.,предисл. / Д. Бизам, Я. Герцер ; авт.ст. Ю. А. Данилов ; пер. Ю. А. Данилов. - М. : Мир, 1978. - 433с.:ил. - Б. ц.
(В пер.)
ББК 22.12
Рубрики: ВЕНГРИЯ
Кл.слова (ненормированные):
МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- РАЗВИВАЮЩЕЕ ОБУЧЕНИЕ -- 20 В


Доп.точки доступа:
Герцер, Я.; Данилов, Ю.А. \авт.ст.\; Данилов, Ю.А. \пер.\
Свободных экз. нет
Найти похожие
4.
   22.1
   М 34

   
    Математика XIX века [Текст] : математическая логика. Алгебра. Теория чисел. Теория вероятностей / [И. Г. Башмакова, Б. В. Гнеденко, З. А. Кузичева и др.] ; под ред. [и с предисл.] А. Колмогорова и А. П. Юшкевича. - М. : Наука, 1978. - 255 с. - (в пер.) : 2.10 р.
ББК 22.1г

Кл.слова (ненормированные):
МАТЕМАТИКА -- ИСТОРИЯ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГЕБРА -- ТЕОРИЯ ЧИСЕЛ -- ТЕОРИЯ ВЕРОЯТНОСТЕЙ -- 19 В -- НАУКА


Доп.точки доступа:
Башмакова, И. Г.; Гнеденко, Б. В.; Кузичева, З. А.; Колмогоров, А. Н. \ред., авт. предисл.\; Юшкевич, А. П. \ред., авт. предисл.\
Экземпляры всего: 2
ф4 (1), аб (1)
Свободны: аб (1)
Найти похожие
5.
   87.4
   Г 45

    Гжегорчик, А.
    Популярная логика [Текст] : общедоступный очерк логики предложений / А. Гжегорчик ; пер. с пол. С. П. Беляева. - 3-е изд., стереотип. - М. : Наука, 1979. - 11 с. - 0.25 р. !oant_H.pft: FILE NOT FOUND!
ББК 87.4

Кл.слова (ненормированные):
ФИЛОСОФИЯ -- ЛОГИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ДОКАЗАТЕЛЬСТВО
Аннотация: Математическая логика - своеобразная область науки, тесно связанная как с математикой, так и с философией, - выдвинулась на первый план в последние десятилетия, когда возникла потребность в автоматизации процессов, выполнявшихся ранее лишь человеческим мозгом. Теория электронных цифровых машин и др. "умных" автоматов, изучение структуры языка, глубокие философские вопросы оснований математики и др. наук - вот сфера применений математической логики. Книга А. Гжегорчика предназначена для того, чтобы удовлетворить возрастающий интерес к логике людей, не являющихся специалистами ни в математике, ни в логике. От читателя не требуется ни знания математических фактов, ни привычки к чтению математической литературы. Автор ведет изложение в разговорном стиле, логические символы заменяет словами. Многочисленные примеры облегчают усвоение материала.


Доп.точки доступа:
Беляев, С. П. \пер.\
Экземпляры всего: 2
ф2 (1), ф10 (1)
Свободных экз. нет
Найти похожие
6.
   22.12
   У 77

    Успенский, В. А.
    Машина Поста [Текст] / В. А. Успенский. - М. : Наука, 1979. - 95 с. : схемы. - (Популярные лекции по математике ; вып. 54). - 0.15 р.
ББК 22.127

Кл.слова (ненормированные):
МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ -- АЛГОРИТМ -- ПРОГРАММИРОВАНИЕ -- ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ
Аннотация: Машина Поста - это хотя и абстрактная (т.е. несуществующая в арсенале действующей техники), но зато очень простая вычислительная машина. Она способна выполнять лишь самые элементарные действия, и поэтому её описание и составление простейших программ может быть доступно ученикам начальной школы. Тем не менее на машине Поста можно запрограммировать - в известном смысле - любые алгоритмы. Изучение машины Поста можно рассматривать как начальный этап обучения теории алгоритмов и программированию

Экземпляры всего: 1
ф15 (1)
Свободных экз. нет
Найти похожие
7.
   22.12
   Е80

    Ершов, Ю. Л.
    Математическая логика [Текст] : учебник для вузов / Ю. Л. Ершов, Е. А. Палютин. - М. : Наука, 1979. - 320 с., ил. - Б. ц.
(В пер.)
ББК 22.12

Кл.слова (ненормированные):
МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ИЗУЧЕНИЕ В ВУЗЕ


Доп.точки доступа:
Палютин, Е.А.
Свободных экз. нет
Найти похожие
8.
   74.262
   Ш 84

    Шпорер, З.
    Ох, эта математика! [Текст] / Златко Шпорер ; пер. с хорв.-серб. Д. Мансфельда ; ил. и коммент. В. Шкарбана. - М. : Педагогика, 1981. - 128 с. : ил. - 0.70 р.
ББК 74.262.21

Кл.слова (ненормированные):
ПЕДАГОГИКА -- МЕТОДИКА ПРЕПОДАВАНИЯ -- МАТЕМАТИКА -- ТЕОРИЯ ЧИСЕЛ -- ТЕОРИЯ МНОЖЕСТВ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ШКОЛА -- ОБЩЕОБРАЗОВАТЕЛЬНАЯ -- ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ -- 7-8 КЛАССЫ -- 20 В
Аннотация: В книге в научно-популярной форме излагается введение в изучаемую школьниками VII-VIII классов теорию множеств и теорию чисел (натуральные числа), которые вместе с математической логикой составляют основу современной математики. Книга адресована методистам и учителям средней школы. Может быть полезна для проведения факультативных и кружковых занятий по математике


Доп.точки доступа:
Мансфельд, Д. \пер.\; Шкарбан, В. \худож., авт. примеч.\
Экземпляры всего: 1
ф2 (1)
Свободных экз. нет
Найти похожие
9.
   22.12
   С 50

    Смаллиан, Р. М.
    Как же называется эта книга? [Текст] / Рэймонд М. Смаллиан ; пер. с англ. [и предисл.] Ю. А. Данилова. - М. : Мир, 1981. - 239 с. : ил. -
ББК 22.12

Кл.слова (ненормированные):
МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЗАНИМАТЕЛЬНАЯ -- РАССУЖДЕНИЕ -- АРГУМЕНТАЦИЯ -- МЫШЛЕНИЕ
Аннотация: Книга американского профессора Р. Смаллиана, написанная в увлекательной форме, продолжает серию книг по занимательной математике и представляет собой популярное введение в некоторые проблемы математической логики


Доп.точки доступа:
Данилов, Ю. А. \авт. предисл., пер.\
Свободных экз. нет
Найти похожие
10.
   22.12
   У 77

    Успенский, В. А.
    Теорема Геделя о неполноте [Текст] / В. А. Успенский. - М. : Наука, 1982. - 111 с. - (Популярные лекции по математике ; вып. 57). - 0.15 р.
ББК 22.122

Кл.слова (ненормированные):
МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ -- ДОКАЗАТЕЛЬСТВО -- ТЕОРЕМА ГЕДЕЛЯ О НЕПОЛНОТЕ

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

    Байиф, Ж. -К.
    Логические задачи [Текст] : сборник задач / Жан-Клод Байиф ; пер. с фр. Ю. Н. Сударева ; под ред. И. М. Яглома. - М. : Мир, 1983. - 172 с. : ил. - 0.45 р.
ББК 22.12
Рубрики: ФРАНЦИЯ
Кл.слова (ненормированные):
МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЗАНИМАТЕЛЬНАЯ
Аннотация: Книга французского инженера, продолжающая серию книг по занимательной математике, содержит более ста задач из различных разделов математики, среди которых широко представлены задачи на разрезание, разнообразные числовые головоломки, а также всевозможные логические парадоксы и парадоксы теории вероятностей.


Доп.точки доступа:
Яглом, И. М. \ред.\; Сударев, Ю. Н. \пер.\
Экземпляры всего: 1
ф2 (1)
Свободных экз. нет
Найти похожие
12.
   72
   Ч-67

    Число и мысль [Текст] : сборник. - М. : Знание, 1977 - 1987. - (Народный университет : Естественнонаучный факультет).
   Вып.7 / [сост. В. М. Петров]. - 1984. - 160 с. : ил. - Библиогр.: с. 159. -
ББК 72

Кл.слова (ненормированные):
НАУКА -- ЛИТЕРАТУРОВЕДЕНИЕ -- ЛИТЕРАТУРНЫЙ АНАЛИЗ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИКА -- 20 В


Доп.точки доступа:
Петров, В.М. \сост.\
Свободных экз. нет
Найти похожие
13.
   22.12
   К 60

    Колмогоров, А. Н.
    Математическая логика [Текст] : дополнит. гл. : учеб. пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во МГУ, 1984. - 119 с. - Из ЧЗ все экз. списаны. - 0.25 р.
ББК 22.12

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ИЗУЧЕНИЕ В ВУЗЕ -- ЕСТЕСТВЕННЫЕ НАУКИ -- МАТЕМАТИКА


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

    Смаллиан, Р. М.
    Принцесса или тигр? [Текст] : [занимат. математика] / Рэймонд М. Смаллиан ; пер. с англ. И. Е. Зино ; под ред. Ю. И. Манина. - М. : Мир, 1985. - 221 с. : ил. -
ББК 22.12

Кл.слова (ненормированные):
МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЗАНИМАТЕЛЬНАЯ -- РАССУЖДЕНИЕ -- АРГУМЕНТАЦИЯ -- МЫШЛЕНИЕ
Аннотация: Книга известного американского математика и логика профессора Р. Смаллиана, продолжающая серию книг по занимательной математике, посвящена логическим парадоксам и головоломкам, логико-арифметическим задачам и проблемам разрешимости, связанным теоремой Геделя. Рассчитана на интересующихся занимательной математикой


Доп.точки доступа:
Зино, И. Е. \пер.\; Манин, Ю. И. \ред.\
Свободных экз. нет
Найти похожие
15.
   Ст22.1
   Л 44

    Леман, И.
    Увлекательная математика [Текст] / Иоханнес Леман ; пер. с нем. Ю. А. Данилова. - М. : Знание, 1985. - 272 с. : ил. - Пер. изд. : Kurzweil durch Mathe / Johannes Lehmann. - 0.50 р.
ББК 22.1

Кл.слова (ненормированные):
МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЗАНИМАТЕЛЬНАЯ -- ИНТЕЛЕКТУАЛЬНОЕ РАЗВИТИЕ
Аннотация: Автор книги собрал в ней несколько сотен задач, среди которых и совсем свежие, и такие, возраст которых исчисляется тысячелетиями. Многие считают занимательные задачи средством для приятного времяпрепровождения, отдыха, но если вдуматься, то становится ясной их гораздо более важная роль. Несомненно, что именно занимательные задачи являются одним из самых мощных инструментов развития человеческого интеллекта. Для решения задач, как правило, достаточно знаний школьников 5—6-х классов. Задачи проверяют не знания, а умение логически рассуждать, они учат этому умению. Большое количество иллюстраций делает книгу особенно привлекательной для школьников, которым в первую очередь она и адресована.


Доп.точки доступа:
Данилов, Ю. А. \пер.\; Johannes Lehmann
Экземпляры всего: 1
ф15 (1)
Свободных экз. нет
Найти похожие
16.
   22.12
   К71

    Косовский, Н. К.
    Основы теории элементарных алгоритмов [Текст] : учеб.пособие для вузов / Н. К. Косовский. - Л. : Изд-во ЛГУ, 1987. - 153с. - Б. ц.
Библиогр.:с.148-151
ББК 22.12

Кл.слова (ненормированные):
МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГОРИТМ -- ТЕОРИЯ -- ИЗУЧЕНИЕ В ВУЗЕ

Свободных экз. нет
Найти похожие
17.
   22.1
   С 50

    Смаллиан, Р. М.
    Алиса в Стране Смекалки [Текст] / Рэймонд М. Смаллиан ; пер. с англ. Ю. А. Данилова ; [предисл. М. Гарднера] ; рис. Г. Фиттинга. - М. : Мир, 1987. - 181, [1] с. : ил. - 0.50 р.
ББК 22.12

Кл.слова (ненормированные):
МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЗАНИМАТЕЛЬНАЯ -- МЫШЛЕНИЕ -- РАССУЖДЕНИЕ
Аннотация: Книга известного американского математика и логика профессора Р. Смаллиана, продолжающая серию книг по занимательной математике, построена на материале знаменитой "Алисы в Стране Чудес" Л.Кэрролла и содержит около ста логических задач-головоломок, парадоксов и курьезов


Доп.точки доступа:
Данилов, Ю. А. \пер.\; Гарднер, М. \авт. предисл.\; Фиттинг, Г. \худож.\
Экземпляры всего: 1
ф15 (1)
Свободных экз. нет
Найти похожие
18.
   Ст22.1
   Н 64

    Никольская, И. Л.
    Учимся рассуждать и доказывать [Текст] : кн. для учащихся 6-10 кл. сред. шк. / И. Л. Никольская, Е. Е. Семенов. - М. : Просвещение, 1989. - 192 с. : ил. - ISBN 5-09-000591-5 (в пер.) : 1.00 р.
ББК 22.12

Кл.слова (ненормированные):
МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МЫШЛЕНИЕ -- МАТЕМАТИЧЕСКОЕ -- ДОКАЗАТЕЛЬСТВО -- РАССУЖДЕНИЕ -- УМСТВЕННОЕ РАЗВИТИЕ -- ИЗУЧЕНИЕ В ШКОЛЕ -- 6 КЛАСС -- 7 КЛАСС -- 8 КЛАСС -- 9 КЛАСС -- 10 КЛАСС
Аннотация: Помочь школьнику научиться рассуждать, доказывать, вести аргументированный спор, проводить анализ, обобщение, конкретизацию, использовать индукцию, наблюдение, аналогию — главная цель этой книги. Материал книги подан в виде небольших рассказов, диалогов, бесед, задач, загадок. Изложение ведется в занимательной форме.


Доп.точки доступа:
Семенов, Е. Е.
Экземпляры всего: 7
ф6 (1), ф10 (2), ф11 (1), ф15 (1), ф16 (1), ф17 (1)
Свободных экз. нет
Найти похожие
19.
   22.1
   П58

    Попов, Ю. П.
    Математика в образах [Текст] : св / Ю. П. Попов, Ю. В. Пухначев. - М. : Знание, 1989. - 207с.:ил. - (Народный университет. Естественнонаучный фак.). - Б. ц.
ББК 22.1

Кл.слова (ненормированные):
ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ -- ИНТЕГРАЛЬНОЕ ИСЧИСЛЕНИЕ -- ВЫСШАЯ МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА


Доп.точки доступа:
Пухначев, Ю.В.
Свободных экз. нет
Найти похожие
20.
   22.1
   Ш 26

    Шарыгин, И. Ф.
    Математический винегрет [Текст] / И. Ф. Шарыгин. - М. : Орион, 1991. - 63 с. : ил. - ISBN 5-85934-002-8 : 2.60 р.
ББК 22.1я92

Кл.слова (ненормированные):
МАТЕМАТИКА -- ЗАНИМАТЕЛЬНАЯ -- ДОСУГ -- РАЗВЛЕЧЕНИЯ -- ЗАДАЧИ -- РЕШЕНИЕ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА

Экземпляры всего: 4
ф2 (1), ф13 (1), ф15 (1), ф20 (1)
Свободных экз. нет
Найти похожие
 1-20    21-40   41-51 
 
Стандартный
Расширенный
Профессиональный
По словарю
ББК-навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)