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