Поисковый запрос: <.>K=математическая логика<.> |
Общее количество найденных документов : 28
Показаны документы с 1 по 20 |
|
>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) Найти похожие
|
>11. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Многотомное издание Шифр издания : 22.1/М 21
Автор(ы) : Мальцев, Анатолий Иванович
Заглавие : Избранные труды/ А. И. Мальцев ; [ред. М. А. Лаврентьев] ; АН СССР, Отд-ние математики; Сибирское отд-ние; Ин-т математики. Т. 2: Математическая логика и общая теория алгебраических систем
Выходные данные : М.: Наука, 1976 - 1976 Колич.характеристики :386, [2] с
Коллективы : АН СССР
Серия:
Цена : 2.42 р.
ББК : 22.1 Предметные рубрики: Математика
Экземпляры :Ч.з.1(1) Свободны : Ч.з.1(1) Найти похожие
|
>12. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.17/Л 43
Автор(ы) : Капитонова Ю.В., Кривой С.Л., Летичевский А.А., Луцкий Г.М.
Заглавие : Лекции по дискретной математике
Выходные данные : СПб.: БХВ-Петербург, 2004 Колич.характеристики :614 с
ISBN, Цена 5-94157-546-7: 179.00 р.
ББК : 22.174я73 + 32.973.26-018.2я73 Предметные рубрики: Дискретная математика
Экземпляры : всего 11: Ч.з.1(5), Аб.2(11) Свободны : Ч.з.1(5), Аб.2(11) Найти похожие
|
>13. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Р2/Л 38
Автор(ы) : Левшин, Владимир Артурович
Заглавие : Новые рассказы рассеянного магистра
: математич. детектив : [для мл. шк. возраста]
Выходные данные : М.: Моск. клуб, 1994 Колич.характеристики :174 с.:
ил.
ISBN, Цена 5-7642-0024-5: 3250.00 р.
ББК : Р2 Предметные рубрики: Детская литература
Экземпляры :Аб.1(1) Свободны : Аб.1(1) Найти похожие
|
>14. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.1/Л 13
Автор(ы) : Лавров С.С.
Заглавие : Программирование. Математические основы, средства, теория
: учеб. пособие
Выходные данные : Дюссельдорф; Киев; М.; СПб.: БхВ-Петербург, 2001 Колич.характеристики :317 с
ISBN, Цена 5-94157-069-4: 88.00 р.
ББК : 22.12я73 + 22.18я73 Предметные рубрики: Математическое программирование-- языки программирования
Экземпляры : всего : Аб.2(5) Свободны : Аб.2(5) Найти похожие
|
>15. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.12/Л 13
Автор(ы) : Лавров И.А., Максимова Л.Л.
Заглавие : Задачи по теории множеств, математической логике и теории алгоритмов
. -3-е изд. Выходные данные : М.: ФИЗМАТЛИТ, 1995 Колич.характеристики :255 с
ISBN, Цена 5-02-014844-Х: 30.75 р.
ББК : 22.12я73 Предметные рубрики: математика
Экземпляры :Ч.з.1(1) Свободны : Ч.з.1(1) Найти похожие
|
>16. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.1/Л 13
Автор(ы) : Лавров И.А., Максимова Л.Л.
Заглавие : Задачи по теории множеств математической логике и теории алгоритмов
Выходные данные : М.: Наука, 1975 Колич.характеристики :240 с
Цена : 0.90 р.
ББК : 22.1 Предметные рубрики: математика
Экземпляры : всего : Ч.з.1(10) Свободны : Ч.з.1(10) Найти похожие
|
>17. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.12/К 60
Автор(ы) : Колмогоров, Андрей Николаевич, Драгалин А.Г.
Заглавие : Математическая логика
: учеб. пособие для студ. мат. спец. вузов
Выходные данные : М.: УРСС, 2004 Колич.характеристики :238, [2] с
Коллективы :
МГУ им. М. В. Ломоносова Серия: Классический университетский учебник
ISBN, Цена 5-354-00389-X: 149.50 р.
ББК : 22.122я73 Предметные рубрики: Математическая логика-- теория множеств
Экземпляры : всего : Ч.з.1(4) Свободны : Ч.з.1(4) Найти похожие
|
>18. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.122/К 60
Автор(ы) : Колмогоров, Андрей Николаевич, Драгалин А.Г.
Заглавие : Введение в математическую логику
: учеб. пособие для студ. мат. спец. вузов
Выходные данные : М.: Изд-во Моск. ун-та, 1982 Колич.характеристики :118, [2] с
Цена : 0.25 р.
ББК : 22.122 Предметные рубрики: Математическая логика
Экземпляры : всего : Ч.з.1(4) Свободны : Ч.з.1(4) Найти похожие
|
>19. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 74.262.21/К 17
Автор(ы) : Калужнин Л.А.
Заглавие : Элементы теории множеств и математической логики в школьном курсе математики
: пособие для учителей
Выходные данные : М.: Просвещение, 1978 Колич.характеристики :87 с
Цена : 0.15 р.
ББК : 74.262.21 Предметные рубрики: Методика преподавания математики
Экземпляры : всего : Аб.2(6), Ч.з.1(4) Свободны : Аб.2(6), Ч.з.1(4) Найти похожие
|
>20. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.1/И 26
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Математическая логика и теория алгоритмов
: учеб. пособие для студ. вузов
. -2-е изд. Выходные данные : М.: Академия, 2008 Колич.характеристики :446, [1] с
Серия: Высшее профессиональное образование
ISBN, Цена 978-5-7695-4593-1: 384.20, 397.00, р.
ББК : 22.12я73 Предметные рубрики: Математическая логика
Экземпляры : всего 7: Аб.2(9), Ч.з.1(3) Свободны : Аб.2(9), Ч.з.1(3) Найти похожие
|
|
|