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

Базы данных


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

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

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


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

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

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

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


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

    Лавров, С. С.
    Программирование. Математические основы, средства, теория [Text] : учеб. пособие / С.С. Лавров. - Дюссельдорф; Киев ; М. ; СПб. : БхВ-Петербург, 2001. - 317 с. - ISBN 5-94157-069-4 : 88.00 р.
ББК 22.12я73 + 22.18я73
Рубрики: Математическое программирование--языки программирования
Кл.слова (ненормированные):
математическая логика -- язык программирования -- теория множеств -- теория вычислимости -- учебное пособие для вузов

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

    Жолков, С. Ю.
    Математика и информатика для гуманитариев [Текст] : учебник для студ. гуманит. спец. вузов / С.Ю. Жолков. - М. : Гардарики, 2002. - 531, [5] с. : ил. - ISBN 5-8297-0089-1 : 82.50 р.
ББК 22.1я73 + 32.973я73
Рубрики: Математика--информатика
Кл.слова (ненормированные):
дискретная математика -- математическая логика -- алгоритмы -- компьютерные системы -- искусственный интеллект -- учебник для вузов

Экземпляры всего: 26
Ч.з.1 (5), Аб.2 (21)
Свободны: Ч.з.1 (5), Аб.2 (21)
Найти похожие
6.
   22.12
   К 60

    Колмогоров, Андрей Николаевич.
    Математическая логика [Текст] : учеб. пособие для студ. мат. спец. вузов / А. Н. Колмогоров, А. Г. Драгалин ; МГУ им. М. В. Ломоносова. - М. : УРСС, 2004. - 238, [2] с. - (Классический университетский учебник). - ISBN 5-354-00389-X : 149.50 р.
ББК 22.122я73
Рубрики: Математическая логика--теория множеств
Кл.слова (ненормированные):
математические языки -- логические законы -- теория алгоритмов -- теория доказательств -- математическая логика -- учебник для вузов


Доп.точки доступа:
Драгалин, А.Г.; МГУ им. М. В. Ломоносова
Экземпляры всего: 4
Ч.з.1 (4)
Свободны: Ч.з.1 (4)
Найти похожие
7.
   22.12
   Е 80

    Ершов, Ю. Л.
    Математическая логика [Text] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 3-е изд., стер. - СПб. [и др.] : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - ISBN 5-8114-0533-2 : 169.50 р.
ББК 22.122я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
теория множеств -- алгебраические системы -- теория моделей -- теория доказательств -- алгоритмы -- рекурсивные функции -- математическая логика -- учебное пособие


Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 4
Ч.з.1 (4)
Свободны: Ч.з.1 (4)
Найти похожие
8.
   74.58
   М 34

    Матросов В.Л.
    Избранные статьи и доклады [Text] / Матросов В.Л. - М. : Магистр, 1996. - 252 с. - 5.00 р.
ББК 74.584(2)738.1 + 22.127
Рубрики: Высшая школа
Кл.слова (ненормированные):
университетское образование -- Московский педагогический государственный университет -- МПГУ -- педагогическое образование -- математическая логика -- теория алгоритмов -- научная -- сборник научных трудов

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

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

Экземпляры всего: 84
Ч.з.1 (5), Аб.2 (59), Аб.3 (20)
Свободны: Ч.з.1 (5), Аб.2 (59), Аб.3 (20)
Найти похожие
10.
   22.17
   Л 43

   
    Лекции по дискретной математике [Текст] / Ю. В. Капитонова [и др.]. - СПб. : БХВ-Петербург, 2004. - 614 с. - ISBN 5-94157-546-7 : 179.00 р.
ББК 22.174я73 + 32.973.26-018.2я73
Рубрики: Дискретная математика
Кл.слова (ненормированные):
дискретная математика -- алгебра -- множества -- комбинаторика -- теория алгоритмов -- математическая логика -- теория графов -- теория автоматов -- информационные технологии -- компьютерные технологии -- аксиоматический метод -- учебник для вузов


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