Поисковый запрос: (<.>K=МАТЕМАТИЧЕСКАЯ ЛОГИКА<.>) |
Общее количество найденных документов : 49
Показаны документы с 1 по 20 |
|
1. 
| 22.17
А64
Анализ и дискретная математика [Текст] : межвуз. сб. науч. тр. / ред. М. М. Лаврентьев. - Новосибирск : [б. и.], 1995. - 140 с. - 8-00 р.ББК 22.176
Рубрики: Математика
Кл.слова (ненормированные):
дискретный анализ -- алгебра -- математическая логика
Доп.точки доступа:
Лаврентьев, М.М. \ред.\
Экземпляры всего: 1
аб. (1)
Свободны: аб. (1)
Найти похожие
|
2.
| 22.16
К 27
Карташев, А. П.
Математический анализ [Электронный ресурс] : учеб. пособие: Рек. Мин. обр. РФ / А. П. Карташев, Б. Л. Рождественский. - 2-е изд. - СПб. ; М. ; Краснодар : Лань, 2007. - 448 с. : ил. - ISBN 978-5-8114-0700-2 : Б. ц.ББК 22.161я73
Рубрики: Математический анализ
Кл.слова (ненормированные):
математическая логика -- действительные числа -- функции одной переменной -- функции нескольких переменных -- дифференциальные уравнения
Аннотация: Книга написана на основе лекций, читавшихся авторами в течение ряда лет студентам Московского инженерно-физического института и Московского физико-технического института. При изложении материала особое внимание уделяется вопросам, существенным для математического образования физиков и инженеров. В отличие от большинства существующих книг по математическому анализу в данном учебном пособии при сравнительно малом объеме изложен курс, полностью соответствующий программе физических и инженерных специальностей вузов.
Перейти: http://e.lanbook.com/view/book/178/
Доп.точки доступа:
Рождественский, Б.Л.
Экземпляры всего: 1
ЭБС Лань (1)
Свободны: ЭБС Лань (1)
Найти похожие
|
3.
| 22.17
М82
Москинова, Галина Ивановна.
Дискретная математика. Математика для менеджера в примерах и упражнениях [Текст] : учеб. пособие: рек. Мин. обр. РФ / Г.И. Москинова. - М. : Логос, 2000, 2004, 2003. - 240 с. : рис. - (Учебник для XXI века). - Предм. указ.: с. 227-235. - ISBN 5-94010-016-3 (в пер.) : 78.00 р., 103.95 р.ББК 22.176я73
Рубрики: Дискретная математика
Кл.слова (ненормированные):
дискретная математика -- менеджмент -- моделирование -- теория множеств -- компьютерная математика -- теория графов -- математическая логика
Экземпляры всего: 37
аб. (34), ч.з. (3)
Свободны: аб. (34), ч.з. (3)
Найти похожие
|
4.
| 22.18
М34
Математические вопросы кибернетики [Текст] : сб.статей / Под ред.Яблонского С.В.;Сост.Лупанов О.Б.,Янов Ю.И. - М. : Наука, Гл. ред. физ.-мат. лит., 1998 - .
Вып.7. - 368с. - ISBN 5020151211 : 40-20 р.ББК 22.18
Рубрики: Математическая кибернетика
Кл.слова (ненормированные):
математическая кибернетика -- математическая логика -- теория программирования
Экземпляры всего: 1
аб. (1)
Свободны: аб. (1)
Найти похожие
|
5.
| 22.1г
И90
Историко-математические исследования [Текст] / Отв.ред.Демидов С.С. - М. : Янус-К, 2000 - .
Сер.2;Вып.5(40). - 392с. - ISBN 5803700525 : ББК 22.1г
Рубрики: История математики
Кл.слова (ненормированные):
математика, истоки развития -- математика античности -- математическое образование в России -- математическая логика
ч.з.
Свободных экз. нет
Найти похожие
|
6.
| 22.12
Л13
Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : к изучению дисциплины / И.А. Лавров, Л.Л. Максимова. - 4-е изд. - М. : Физматлит, 2001. - 256 с. - ISBN 5-9221-0026-2 : 79.60 р.ББК 22.12я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
ТЕОРИЯ МНОЖЕСТВ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ АЛГОРИФМОВ
Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 5
аб. (5)
Свободны: аб. (5)
Найти похожие
|
7.
| 22.12
Г13
Гаек П.
Автоматическое образование гипотез: математические основы общей теории [Текст] / Гаек П., Гавранек Т. - М. : Наука, Гл. ред. физ.-мат. лит., 1984. - 280с. - ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- математика -- искусственный интеллект
Доп.точки доступа:
Гавранек Т.
аб., ч.з.
Свободных экз. нет
Найти похожие
|
8.
| 22.12
Г47
Гильберт Д.
Основания математики. Логические исчисления и формализация арифметики [Текст] : пер. с нем. / Гильберт Д., Бернанс П. - 2-е изд. - М. : Наука, 1982. - 556 с. - 2-70 р.ББК 22.12
Рубрики: Основания математики
Кл.слова (ненормированные):
математика -- основания математики -- математическая логика -- логические исчисления -- формализация арифметики
Доп.точки доступа:
Бернанс П.
Экземпляры всего: 1
аб. (1), ч.з.
Свободных экз. нет
Найти похожие
|
9.
| 22.12
К26
Карпов , В. Г.
Математическая логика и дискретная математика [Текст] : учеб. пособие / Карпов В.Г., Мощенский В.А. - Минск : Вышэйш. шк., 1977. - 256 с. : ил. - (в пер.) : 0-65ББК 22.12я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- дискретная математика -- прикладная математика
Доп.точки доступа:
Мощенский В.А.
Экземпляры всего: 2
аб. (1), ч.з. (1)
Свободны: аб. (1), ч.з. (1)
Найти похожие
|
10.
| 22.12
Л13
Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И. А. Лавров , Л. Л. Максимова . - 3-е изд. - М. : Физматлит, 1995. - 255с. - ISBN 502014844Х : 210.00 р.ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
теория множеств -- математическая логика -- теория алгоритмов -- математика -- задачи математические
Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
11.
| 22.16
М26
Марков , А. А.
Теория алгорифмов [Текст] / А. А. Марков , Н. М. Нагорный . - М. : Наука, 1984. - 432 с. - (Математическая логика и основания математики). - 3.30 р.ББК 22.16
Рубрики: Математическая логика
Кл.слова (ненормированные):
теория алгорифмов -- математическая логика -- основания математики -- математика
Доп.точки доступа:
Нагорный , Н.М.
Экземпляры всего: 2
ч.з. (1), аб. (1)
Свободны: ч.з. (1), аб. (1)
Найти похожие
|
12.
| 22.12
М42
Медведев, Ф. А.
Ранняя история аксиомы выбора [Текст] / Ф. А. Медведев. - М. : Наука, 1982. - 304с. - 3-60 р.ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
теория множеств -- аксиома выбора -- математическая логика -- основания математики
Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
13.
| 22.12
М50
Мендельсон Э.
Введение в математическую логику [Текст] / Э. Мендельсон . - 3-е изд. - М. : Наука, 1984. - 320 с. - 1.80 р.ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- математика
Экземпляры всего: 2
ч.з. (1), аб. (1)
Свободны: ч.з. (1), аб. (1)
Найти похожие
|
14.
| 22.12
Н59
Нечёткие множества и теория возможностей. Последние достижения [Текст] : пер. с англ. / ред. Р. Ягер. - М. : Радио и связь, 1986. - 408с. : ил. - 2-80 р.ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
теория множеств -- теория нечётких множеств -- математическая логика
Доп.точки доступа:
Ягер, Р. \ред.\
Экземпляры всего: 2
ч.з. (1), аб. (1)
Свободны: ч.з. (1), аб. (1)
Найти похожие
|
15.
| 22.12
П76
Применение логики в науке и технике [Текст]. - М. : Изд-во Акад. наук СССР, 1960. - 557 с. - ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- математика
ч.з.
Свободных экз. нет
Найти похожие
|
16.
| 22.12
Х22
Харченко , В. К.
Некоммутативная теория Галуа [Текст] / В. К. Харченко . - Новосибирск : Науч. книга, 1996. - 372с. - ISBN 5881190149 : 20000 р.ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- некоммутативная теория Галуа -- Галуа Эварист -- математическая логика -- математика
Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
17.
| 22.12
Э63
Энгелер, Эрвин.
Метаматематика элементарной математики [Текст] / Э. Энгелер ; пер. с нем. Г. Е. Минца ; под ред. А. О. Слисенко. - М. : Мир, 1987. - 128с. - Именной указ.: с. 123 . - Предм. указ.: с. 125 . - 0.50 р.ББК 22.12
Рубрики: Основания математики
Математическая логика
Кл.слова (ненормированные):
основания математики -- математическая логика -- математика
Доп.точки доступа:
Минца, Г.Е. \пер. с нем.\; Слисенко, А.О. \ред.\
Экземпляры всего: 3
ч.з. (2), аб. (1)
Свободны: ч.з. (2), аб. (1)
Найти похожие
|
18.
| 22.12
К17
Калиев, И. А.
Задачи к курсу "Основы математического моделирования" [Текст] : методические разработки / И. А. Калиев, В. В. Шелухин, О. Б. Бочаров. - Новосибирск : Изд-во Новосиб. гос. ун-та, 1997. - 20 с. - ББК 22.12я73
Рубрики: Основания математики
Математическая логика
Кл.слова (ненормированные):
математическое моделирование -- математическая логика -- основания математики -- математика -- методические разработки -- задачи математические
Доп.точки доступа:
Шелухин, В.В.; Бочаров, О.Б.
ч.з.
Свободных экз. нет
Найти похожие
|
19.
| 22.1
Л65
Лихтарников Л.М.
Первое знакомство с математической логикой [Текст] : книга для начинающих изучать математическую логику и преподавателей / Лихтарников Л.М. - СПб. : Лань, 1997. - 109с. - ISBN 5866170434 : 7-00 р.ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
математика -- математическая логика
Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
20.
| 22.12
М21
Мальцев А.И.
Алгоритмы и рекурсивные функции [Текст] / А.И. Мальцев . - 2-е изд. - М. : Наука, 1986. - 368 с. - 1.70 р.ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- рекурсивные функции
Экземпляры всего: 1
н.з. (1), ч.з.
Свободны: н.з. (1)
Найти похожие
|
|
|
|
БД "Книги"
Стандартный
Главная
Описание
Шлюз Z39.50