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

Базы данных


Книги- результаты поиска

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

    Лавров, И. А.
    Задачи по теории множеств математической логике и теории алгоритмов [Текст] / И. А. Лавров, Л. Л. Максимова. - М. : Наука, 1975. - 240 с. - 0.90 р.
ББК 22.1
Рубрики: математика
Кл.слова (ненормированные):
теория множеств -- математическая логика -- теория алгоритмов


Доп.точки доступа:
Максимова, Л.Л.
Экземпляры всего: 10
Ч.з.1 (10)
Свободны: Ч.з.1 (10)
Найти похожие
2.
   22.1
   Г 19

    Ганичева, Антонина Валериановна.
    Математика для психологов [Текст] : учеб. пособие для студ. вузов, обучающихся по направлению и спец. психологии / А. В. Ганичева, В. П. Козлов . - М. : Аспект Пресс, 2005. - 238, [1] с. - ISBN 5-7567-0362-4 : 114.40 р.
ББК 22.1я73
Рубрики: Математика
Кл.слова (ненормированные):
множества -- математическая логика -- линейная алгебра -- теория графов -- математический анализ -- теория вероятностей -- математическая статистика -- учебное пособие для вузов


Доп.точки доступа:
Козлов, Вячеслав Петрович
Экземпляры всего: 20
Аб.3 (20)
Свободны: Аб.3 (20)
Найти похожие
3.
22.122
Ч-43

    Чень, Ч.
    Математическая логика и автоматическое доказательство теорем [Текст] / Ч. Чень, Р. Ли ; ред. С. Ю. Маслова. - М. : Наука, 1983. - 360 с. - (Математическая логика и основания математики). - 2.20 р.
ББК 22.122
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- теорема Эрбрана -- метод резолюций


Доп.точки доступа:
Ли, Р.; Маслова, С.Ю. \ред.\
Экземпляры всего: 2
Ч.з.1 (2)
Свободны: Ч.з.1 (2)
Найти похожие
4.
   22.12
   Л 13

    Лавров, И. А.
    Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И. А. Лавров. - 3-е изд. - М. : ФИЗМАТЛИТ, 1995. - 255 с. - ISBN 5-02-014844-Х : 30.75 р.
ББК 22.12я73
Рубрики: математика
Кл.слова (ненормированные):
теория множеств -- математическая логика -- теория алгоритмов


Доп.точки доступа:
Максимова, Л.Л.
Экземпляры всего: 1
Ч.з.1 (1)
Свободны: Ч.з.1 (1)
Найти похожие
5.
   22.1
   И 26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студ. вузов / В.И. Игошин. - 2-е изд., стер. - М. : Академия, 2008. - 446, [1] с. - (Высшее профессиональное образование). - ISBN 978-5-7695-4593-1 : 384.20 р., 397.00 р.
ББК 22.12я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
алгебра высказываний -- булевы функции -- исчисление высказываний -- программирование -- математическая логика -- учебное пособие для вузов

Экземпляры всего: 12
Аб.2 (9), Ч.з.1 (3)
Свободны: Аб.2 (9), Ч.з.1 (3)
Найти похожие
6.
74.262.21
М 54

   
    Методика факультативных занятий в 7-8 классах. Избранные вопросы математики [Text] : пособие для учителей / сост.: И. Л. Никольская, В. В. Фирсов. - М. : Просвещение, 1981. - 160 с. - 0.25 р.
ББК 74.262.21
Рубрики: Методика преподавания математики
Кл.слова (ненормированные):
факультатив -- вычислительные машины -- симметрия -- математическая логика -- бесконечные множества -- алгоритмы -- транспортные сети -- 7 класс -- 8 класс -- пособие для учителей


Доп.точки доступа:
Никольская, И.Л. \сост.\; Фирсов, В.В. \сост.\
Экземпляры всего: 15
Ч.з.1 (15)
Свободны: Ч.з.1 (15)
Найти похожие
7.
Р2
Л 38

    Левшин, Владимир Артурович.
    Новые рассказы рассеянного магистра [Текст] : математич. детектив : [для мл. шк. возраста] / В. А. Левшин. - М. : Моск. клуб, 1994. - 174 с. : ил. - ISBN 5-7642-0024-5 : 3250.00 р.
ББК Р2
Рубрики: Детская литература
Кл.слова (ненормированные):
математическая логика -- задания на наблюдательность -- учебное пособие

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

    Абдрашитов, Б. М.
    Учитесь мыслить нестандартно [Text] : кн. для учащихся / Б. М. Абдрашитов, Т. М. Абдрашитов, В. Н. Шлихунов. - М. : Просвещение : Учеб. лит., 1996. - 126 с. : ил. - ISBN 5-09-006569-1 : 5.40 р.
ББК 22.1я72
Рубрики: математика
Кл.слова (ненормированные):
логическое мышление -- математическая логика -- занимательные задачи -- головоломки -- книга для учащихся


Доп.точки доступа:
Абдрашитов, Т.М.; Шлихунов, В.Н.
Экземпляры всего: 1
Ч.з.1 (1)
Свободны: Ч.з.1 (1)
Найти похожие
9.
74.262.21
К 17

    Калужнин, Л. А.
    Элементы теории множеств и математической логики в школьном курсе математики [Text] : пособие для учителей / Л. А. Калужнин. - М. : Просвещение, 1978. - 87 с. - 0.15 р.
ББК 74.262.21
Рубрики: Методика преподавания математики
Кл.слова (ненормированные):
математическая логика -- теория множеств -- алгебра множеств -- предикаты -- кванторы -- высказывательные формы -- пособие для учителей

Экземпляры всего: 10
Аб.2 (6), Ч.з.1 (4)
Свободны: Аб.2 (6), Ч.з.1 (4)
Найти похожие
10.
   22.1
   С 81

    Стойлова, Любовь Петровна.
    Математика [Текст] : учебник для студ. вузов / Л. П. Стойлова. - М. : Академия, 2007. - 431, [1] с. - (Высшее профессиональное образование. Педагогические специальности). - ISBN 978-5-7695-2758-6 : 462.00 р.
ББК 22.1я73-1
Рубрики: Математика
Кл.слова (ненормированные):
математическая логика -- отношения -- операции -- натуральные числа -- геометрические фигуры -- учебник для вузов

Экземпляры всего: 12
Аб.3 (12)
Свободны: Аб.3 (12)
Найти похожие
 1-10    11-20   21-28 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)