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

Базы данных


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

Вид поиска

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

Вид документа : Однотомное издание
Шифр издания : 22.122/Ч-43
Автор(ы) : Чень Ч., Ли Р.
Заглавие : Математическая логика и автоматическое доказательство теорем
Выходные данные : М.: Наука, 1983
Колич.характеристики :360 с
Серия: Математическая логика и основания математики
Цена : 2.20 р.
ББК : 22.122
Предметные рубрики: Математическая логика
Экземпляры : всего : Ч.з.1(2)
Свободны : Ч.з.1(2)
Найти похожие

2.

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

3.

Вид документа : Однотомное издание
Шифр издания : 22.1/П 30
Автор(ы) : Петров Ю.А.
Заглавие : Математическая логика и математическая диалектика. Проблемы логико-философских оснований и обоснования теорий
Выходные данные : М.: Изд-во Моск. ун-та, 1974
Колич.характеристики :191, [1] с
Цена : 0.92 р.
ББК : 22.1
Предметные рубрики: Математика
Экземпляры :Ч.з.1(1)
Свободны : Ч.з.1(1)
Найти похожие

4.

Вид документа : Однотомное издание
Шифр издания : 22.1/О-75
Заглавие : Основы кибернетики. Математические основы кибернетики : учеб. пособие для втузов
Выходные данные : М.: Высш. шк., 1974
Колич.характеристики :415, [1] с
Цена : 0.88 р.
ББК : 22.1
Предметные рубрики: Математика
Экземпляры : всего : Ч.з.1(2)
Свободны : Ч.з.1(2)
Найти похожие

5.

Вид документа : Однотомное издание
Шифр издания : 22.1/О-74
Автор(ы) : Осипова, Виктория Аркадьевна
Заглавие : Основы дискретной математики : учеб. пособие для студ. вузов
Выходные данные : М.: ФОРУМ; М.: ИНФРА-М, 2006
Колич.характеристики :158, [1] с
Серия: Высшее образование
ISBN, Цена 5-91134-016-Х: 107.90 р.
ББК : 22.174я73
Предметные рубрики: Дискретная математика
Экземпляры : всего : Ч.з.1(3)
Свободны : Ч.з.1(3)
Найти похожие

6.

Вид документа : Однотомное издание
Шифр издания : 74.262.21/М 54
Заглавие : Методика факультативных занятий в 7-8 классах. Избранные вопросы математики : пособие для учителей
Выходные данные : М.: Просвещение, 1981
Колич.характеристики :160 с
Цена : 0.25 р.
ББК : 74.262.21
Предметные рубрики: Методика преподавания математики
Экземпляры : всего : Ч.з.1(15)
Свободны : Ч.з.1(15)
Найти похожие

7.

Вид документа : Однотомное издание
Шифр издания : 74.58/М 34
Автор(ы) : Матросов В.Л.
Заглавие : Избранные статьи и доклады
Выходные данные : М.: Магистр, 1996
Колич.характеристики :252 с
Цена : 5.00 р.
ББК : 74.584(2)738.1 + 22.127
Предметные рубрики: Высшая школа
Экземпляры :Ч.з.1(1)
Свободны : Ч.з.1(1)
Найти похожие

8.

Вид документа : Однотомное издание
Шифр издания : 22.12/М 34
Заглавие : Математическая логика : программа учеб. дисциплины для студ. БГПУ по направлению подготовки дипломированного спец. "Информатика с доп. спец." по спец. "Информатика и математика"
Выходные данные : Благовещенск: Изд-во БГПУ, 2004
Колич.характеристики :16 с
Цена : 7.10 р.
ББК : 22.122р30
Предметные рубрики: Высшая математика
Экземпляры : всего 5: ИБО(1), Ч.з.1(4)
Свободны : ИБО(1), Ч.з.1(4)
Найти похожие

9.

Вид документа : Однотомное издание
Шифр издания : 22.12/М 34
Заглавие : Математическая логика : программа учеб. дисциплины для студ. БГПУ по направлению подготовки дипломированного спец. "Информатика с доп. спец."
Выходные данные : Благовещенск: Изд-во БГПУ, 2004
Колич.характеристики :14 с
Цена : 6.70 р.
ББК : 22.122р30
Предметные рубрики: Высшая математика
Экземпляры : всего 5: ИБО(1), Ч.з.1(4)
Свободны : ИБО(1), Ч.з.1(4)
Найти похожие

10.

Вид документа : Однотомное издание
Шифр издания : 22.1/М 34
Заглавие : Математическая логика и теория алгоритмов
Выходные данные : Новосибирск: Наука, 1982
Колич.характеристики :174, [2] с
Серия: Труды института математики, т. 2
Цена : 1.60 р.
ББК : 22.122
Предметные рубрики: Математическая логика
Экземпляры : всего : Ч.з.1(2)
Свободны : Ч.з.1(2)
Найти похожие

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