Поисковый запрос: <.>K=математическая логика<.> |
Общее количество найденных документов : 28
Показаны документы с 1 по 10 |
|
>1. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.1/О-75
Заглавие : Основы кибернетики. Математические основы кибернетики
: учеб. пособие для втузов
Выходные данные : М.: Высш. шк., 1974 Колич.характеристики :415, [1] с
Цена : 0.88 р.
ББК : 22.1 Предметные рубрики: Математика
Экземпляры : всего : Ч.з.1(2) Свободны : Ч.з.1(2) Найти похожие
|
>2. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.1/П 30
Автор(ы) : Петров Ю.А.
Заглавие : Математическая логика и математическая диалектика. Проблемы логико-философских оснований и обоснования теорий
Выходные данные : М.: Изд-во Моск. ун-та, 1974 Колич.характеристики :191, [1] с
Цена : 0.92 р.
ББК : 22.1 Предметные рубрики: Математика
Экземпляры :Ч.з.1(1) Свободны : Ч.з.1(1) Найти похожие
|
>3. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.1/Л 13
Автор(ы) : Лавров И.А., Максимова Л.Л.
Заглавие : Задачи по теории множеств математической логике и теории алгоритмов
Выходные данные : М.: Наука, 1975 Колич.характеристики :240 с
Цена : 0.90 р.
ББК : 22.1 Предметные рубрики: математика
Экземпляры : всего : Ч.з.1(10) Свободны : Ч.з.1(10) Найти похожие
|
>4. ![](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) Найти похожие
|
>5. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.1/Е 80
Автор(ы) : Ершов, Андрей Петрович
Заглавие : Введение в теоретическое программирование. Беседы о методе
: учеб. пособие для студ. вузов, обучающихся по спец. "Прикладная математика"
Выходные данные : М.: Наука, 1977 Колич.характеристики :288 с
Цена : 0.80 р.
ББК : 22.1 Предметные рубрики: Программирование
Экземпляры : всего : Ч.з.1(3) Свободны : Ч.з.1(3) Найти похожие
|
>6. ![](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) Найти похожие
|
>7. ![](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) Найти похожие
|
>8. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.1/М 34
Заглавие : Математическая логика и теория алгоритмов
Выходные данные : Новосибирск: Наука, 1982 Колич.характеристики :174, [2] с
Серия: Труды института математики, т. 2
Цена : 1.60 р.
ББК : 22.122 Предметные рубрики: Математическая логика
Экземпляры : всего : Ч.з.1(2) Свободны : Ч.з.1(2) Найти похожие
|
>9. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.122/К 60
Автор(ы) : Колмогоров, Андрей Николаевич, Драгалин А.Г.
Заглавие : Введение в математическую логику
: учеб. пособие для студ. мат. спец. вузов
Выходные данные : М.: Изд-во Моск. ун-та, 1982 Колич.характеристики :118, [2] с
Цена : 0.25 р.
ББК : 22.122 Предметные рубрики: Математическая логика
Экземпляры : всего : Ч.з.1(4) Свободны : Ч.з.1(4) Найти похожие
|
>10. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.122/Ч-43
Автор(ы) : Чень Ч., Ли Р.
Заглавие : Математическая логика и автоматическое доказательство теорем
Выходные данные : М.: Наука, 1983 Колич.характеристики :360 с
Серия: Математическая логика и основания математики
Цена : 2.20 р.
ББК : 22.122 Предметные рубрики: Математическая логика
Экземпляры : всего : Ч.з.1(2) Свободны : Ч.з.1(2) Найти похожие
|
|
|