Поисковый запрос: <.>K=математическая логика<.> |
Общее количество найденных документов : 28
Показаны документы с 1 по 20 |
|
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)
Найти похожие
|
11.
|
Вид документа : Однотомное издание
Шифр издания : Р2/Л 38
Автор(ы) : Левшин, Владимир Артурович
Заглавие : Новые рассказы рассеянного магистра
: математич. детектив : [для мл. шк. возраста]
Выходные данные : М.: Моск. клуб, 1994
Колич.характеристики :174 с.:
ил.
ISBN, Цена 5-7642-0024-5: 3250.00 р.
ББК : Р2
Предметные рубрики: Детская литература
Экземпляры :Аб.1(1)
Свободны : Аб.1(1)
Найти похожие
|
12.
|
Вид документа : Однотомное издание
Шифр издания : 22.12/Л 13
Автор(ы) : Лавров И.А., Максимова Л.Л.
Заглавие : Задачи по теории множеств, математической логике и теории алгоритмов
. -3-е изд.
Выходные данные : М.: ФИЗМАТЛИТ, 1995
Колич.характеристики :255 с
ISBN, Цена 5-02-014844-Х: 30.75 р.
ББК : 22.12я73
Предметные рубрики: математика
Экземпляры :Ч.з.1(1)
Свободны : Ч.з.1(1)
Найти похожие
|
13.
|
Вид документа : Однотомное издание
Шифр издания : 22.1/А 13
Автор(ы) : Абдрашитов Б.М., Абдрашитов Т.М., Шлихунов В.Н.
Заглавие : Учитесь мыслить нестандартно
: кн. для учащихся
Выходные данные : М.: Просвещение; М.: Учеб. лит., 1996
Колич.характеристики :126 с.:
ил.
ISBN, Цена 5-09-006569-1: 5.40 р.
ББК : 22.1я72
Предметные рубрики: математика
Экземпляры :Ч.з.1(1)
Свободны : Ч.з.1(1)
Найти похожие
|
14.
|
Вид документа : Однотомное издание
Шифр издания : 74.58/М 34
Автор(ы) : Матросов В.Л.
Заглавие : Избранные статьи и доклады
Выходные данные : М.: Магистр, 1996
Колич.характеристики :252 с
Цена : 5.00 р.
ББК : 74.584(2)738.1 + 22.127
Предметные рубрики: Высшая школа
Экземпляры :Ч.з.1(1)
Свободны : Ч.з.1(1)
Найти похожие
|
15.
|
Вид документа : Однотомное издание
Шифр издания : 22.1/Л 13
Автор(ы) : Лавров С.С.
Заглавие : Программирование. Математические основы, средства, теория
: учеб. пособие
Выходные данные : Дюссельдорф; Киев; М.; СПб.: БхВ-Петербург, 2001
Колич.характеристики :317 с
ISBN, Цена 5-94157-069-4: 88.00 р.
ББК : 22.12я73 + 22.18я73
Предметные рубрики: Математическое программирование-- языки программирования
Экземпляры : всего : Аб.2(5)
Свободны : Аб.2(5)
Найти похожие
|
16.
|
Вид документа : Однотомное издание
Шифр издания : 22.1/Ж 79
Автор(ы) : Жолков С.Ю.
Заглавие : Математика и информатика для гуманитариев
: учебник для студ. гуманит. спец. вузов
Выходные данные : М.: Гардарики, 2002
Колич.характеристики :531, [5] с.:
ил.
ISBN, Цена 5-8297-0089-1: 82.50 р.
ББК : 22.1я73 + 32.973я73
Предметные рубрики: Математика-- информатика
Экземпляры : всего 21: Ч.з.1(5), Аб.2(21)
Свободны : Ч.з.1(5), Аб.2(21)
Найти похожие
|
17.
|
Вид документа : Однотомное издание
Шифр издания : 22.12/И 26
Автор(ы) : Игошин В.И.
Заглавие : Математическая логика и теория алгоритмов
: учеб. пособие для студ. вузов
Выходные данные : М.: Академия, 2004
Колич.характеристики :446, [1] с
Серия: Высшее профессиональное образование
ISBN, Цена 5-7695-1363-2: 206.60 р.
ББК : 22.12я73
Предметные рубрики: Высшая математика
Экземпляры : всего 79: Ч.з.1(5), Аб.2(59), Аб.3(20)
Свободны : Ч.з.1(5), Аб.2(59), Аб.3(20)
Найти похожие
|
18.
|
Вид документа : Однотомное издание
Шифр издания : 22.12/Е 80
Автор(ы) : Ершов Ю.Л., Палютин Е.А.
Заглавие : Математическая логика
: учеб. пособие
. -3-е изд., стер.
Выходные данные : СПб. [и др.]: Лань, 2004
Колич.характеристики :336 с
Серия: Учебники для вузов. Специальная литература
ISBN, Цена 5-8114-0533-2: 169.50 р.
ББК : 22.122я73
Предметные рубрики: Математическая логика
Экземпляры : всего : Ч.з.1(4)
Свободны : Ч.з.1(4)
Найти похожие
|
19.
|
Вид документа : Однотомное издание
Шифр издания : 22.12/К 60
Автор(ы) : Колмогоров, Андрей Николаевич, Драгалин А.Г.
Заглавие : Математическая логика
: учеб. пособие для студ. мат. спец. вузов
Выходные данные : М.: УРСС, 2004
Колич.характеристики :238, [2] с
Коллективы :
МГУ им. М. В. Ломоносова
Серия: Классический университетский учебник
ISBN, Цена 5-354-00389-X: 149.50 р.
ББК : 22.122я73
Предметные рубрики: Математическая логика-- теория множеств
Экземпляры : всего : Ч.з.1(4)
Свободны : Ч.з.1(4)
Найти похожие
|
20.
|
Вид документа : Однотомное издание
Шифр издания : 22.12/М 34
Заглавие : Математическая логика
: программа учеб. дисциплины для студ. БГПУ по направлению подготовки дипломированного спец. "Информатика с доп. спец." по спец. "Информатика и математика"
Выходные данные : Благовещенск: Изд-во БГПУ, 2004
Колич.характеристики :16 с
Цена : 7.10 р.
ББК : 22.122р30
Предметные рубрики: Высшая математика
Экземпляры : всего 5: ИБО(1), Ч.з.1(4)
Свободны : ИБО(1), Ч.з.1(4)
Найти похожие
|
|
|
|
Книги
Стандартный
Главная
Описание
