Поисковый запрос: <.>K=математическая логика<.> |
Общее количество найденных документов : 28
Показаны документы с 1 по 10 |
|
>1. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.122/Ч-43
Автор(ы) : Чень Ч., Ли Р.
Заглавие : Математическая логика и автоматическое доказательство теорем
Выходные данные : М.: Наука, 1983 Колич.характеристики :360 с
Серия: Математическая логика и основания математики
Цена : 2.20 р.
ББК : 22.122 Предметные рубрики: Математическая логика
Экземпляры : всего : Ч.з.1(2) Свободны : Ч.з.1(2) Найти похожие
|
>2. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.1/С 81
Автор(ы) : Стойлова, Любовь Петровна
Заглавие : Математика
: учебник для студ. вузов
Выходные данные : М.: Академия, 2007 Колич.характеристики :431, [1] с
Серия: Высшее профессиональное образование. Педагогические специальности
ISBN, Цена 978-5-7695-2758-6: 462.00 р.
ББК : 22.1я73-1 Предметные рубрики: Математика
Экземпляры : всего : Аб.3(12) Свободны : Аб.3(12) Найти похожие
|
>3. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.1/П 30
Автор(ы) : Петров Ю.А.
Заглавие : Математическая логика и математическая диалектика. Проблемы логико-философских оснований и обоснования теорий
Выходные данные : М.: Изд-во Моск. ун-та, 1974 Колич.характеристики :191, [1] с
Цена : 0.92 р.
ББК : 22.1 Предметные рубрики: Математика
Экземпляры :Ч.з.1(1) Свободны : Ч.з.1(1) Найти похожие
|
>4. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.1/О-75
Заглавие : Основы кибернетики. Математические основы кибернетики
: учеб. пособие для втузов
Выходные данные : М.: Высш. шк., 1974 Колич.характеристики :415, [1] с
Цена : 0.88 р.
ББК : 22.1 Предметные рубрики: Математика
Экземпляры : всего : Ч.з.1(2) Свободны : Ч.з.1(2) Найти похожие
|
>5. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.1/О-74
Автор(ы) : Осипова, Виктория Аркадьевна
Заглавие : Основы дискретной математики
: учеб. пособие для студ. вузов
Выходные данные : М.: ФОРУМ; М.: ИНФРА-М, 2006 Колич.характеристики :158, [1] с
Серия: Высшее образование
ISBN, Цена 5-91134-016-Х: 107.90 р.
ББК : 22.174я73 Предметные рубрики: Дискретная математика
Экземпляры : всего : Ч.з.1(3) Свободны : Ч.з.1(3) Найти похожие
|
>6. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 74.262.21/М 54
Заглавие : Методика факультативных занятий в 7-8 классах. Избранные вопросы математики
: пособие для учителей
Выходные данные : М.: Просвещение, 1981 Колич.характеристики :160 с
Цена : 0.25 р.
ББК : 74.262.21 Предметные рубрики: Методика преподавания математики
Экземпляры : всего : Ч.з.1(15) Свободны : Ч.з.1(15) Найти похожие
|
>7. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 74.58/М 34
Автор(ы) : Матросов В.Л.
Заглавие : Избранные статьи и доклады
Выходные данные : М.: Магистр, 1996 Колич.характеристики :252 с
Цена : 5.00 р.
ББК : 74.584(2)738.1 + 22.127 Предметные рубрики: Высшая школа
Экземпляры :Ч.з.1(1) Свободны : Ч.з.1(1) Найти похожие
|
>8. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.12/М 34
Заглавие : Математическая логика
: программа учеб. дисциплины для студ. БГПУ по направлению подготовки дипломированного спец. "Информатика с доп. спец." по спец. "Информатика и математика"
Выходные данные : Благовещенск: Изд-во БГПУ, 2004 Колич.характеристики :16 с
Цена : 7.10 р.
ББК : 22.122р30 Предметные рубрики: Высшая математика
Экземпляры : всего 5: ИБО(1), Ч.з.1(4) Свободны : ИБО(1), Ч.з.1(4) Найти похожие
|
>9. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.12/М 34
Заглавие : Математическая логика
: программа учеб. дисциплины для студ. БГПУ по направлению подготовки дипломированного спец. "Информатика с доп. спец."
Выходные данные : Благовещенск: Изд-во БГПУ, 2004 Колич.характеристики :14 с
Цена : 6.70 р.
ББК : 22.122р30 Предметные рубрики: Высшая математика
Экземпляры : всего 5: ИБО(1), Ч.з.1(4) Свободны : ИБО(1), Ч.з.1(4) Найти похожие
|
>10. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.1/М 34
Заглавие : Математическая логика и теория алгоритмов
Выходные данные : Новосибирск: Наука, 1982 Колич.характеристики :174, [2] с
Серия: Труды института математики, т. 2
Цена : 1.60 р.
ББК : 22.122 Предметные рубрики: Математическая логика
Экземпляры : всего : Ч.з.1(2) Свободны : Ч.з.1(2) Найти похожие
|
|
|