519 М 34 Математические вопросы кибернетики / Под.ред.С.В.Яблонского. - М. : Наука;Физматлит, 1998 - . Вып.7. - 1998. - 368с. - ISBN 5-02-015121-1 : 45 р.
Рубрики: Математическая кибернетика Кл.слова (ненормированные): Принятие решений.теория -- Математическая кибернетика -- Математическая логика -- Сложные управляющие системы -- Преобразование сигналов Экземпляры всего: 1 Х (1) Свободны: Х (1) |
519 М 34 Математические вопросы кибернетики : сб.ст. / Под ред.О.Б.Лупанова. - М. : Наука,Физматлит, 1999 - . Вып.8. - 1999. - 320с. - ISBN 5-02-015318-4 : 50 р.
Рубрики: Математическая кибернетика Кл.слова (ненормированные): Принятия решений теория -- Математическая кибернетика -- Дискретная математика -- Математическая логика Экземпляры всего: 1 Х (1) Свободны: Х (1) |
519 М 34 Математические вопросы кибернетики / ред. О. Б. Лупанов. - Москва : ФИЗМАТЛИТ, 2000 - . Вып.9. - 2000. - 272 с. - 45.00 р., 45.00 р.
Рубрики: Математическая кибернетика Кл.слова (ненормированные): Программирование -- Математическая кибернетика -- Дискретная математика -- Математическая логика Доп.точки доступа: Лупанов, О. Б. \ред.\ Экземпляры всего: 2 Х (1), ЧЗЕ (1) Свободны: Х (1), ЧЗЕ (1) |
4 У 774 Успенский, В. А. Труды по НЕматематике с приложением семиотических посланий А. Н. Колмогорова к автору и его друзьям : в 2 т. / В. А. Успенский. - М. : ОГИ, 2002 - . Т. 1. - 2002. - 584 с. : портр. - ISBN 5-94282-087-2 : 200.00 р.
Рубрики: Философия языка Кл.слова (ненормированные): Философия -- Языкознание -- Математическая логика -- Парадокс -- Абстракция -- Семантика -- Семиотика Экземпляры всего: 1 ЧЗФ (1) Свободны: ЧЗФ (1) |
517 Л 683 Лобовиков, В. О. Математическая логика естественного права и политической экономии / РАН, Ин-т философии и права. - Екатеринбург : УрО РАН, 2005 - . Ч. 1, 2 : Математическая философия экономики и права. - 2005. - 657 с. - Библиогр.: с. 611-653. - ISBN 5-7691-1587-4 : 230.00 р.
РУБ 517 Рубрики: Математика Кл.слова (ненормированные): Логика и математика -- Математическая логика -- Политическая экономия -- Логика и право -- Алгебра поступков -- Частная собственность Экземпляры всего: 1 Х (1) Свободны: Х (1) |
577 М 931 Мушкамбаров, Николай Николаевич Аналитическая биохимия : в 3 т / Николай Николаевич Мушкамбаров. - М. : Экспедитор, 1996 - . Т.2. - 1996. - с.395-798. - ISBN 5-88037-017-8 : 15 р.
Рубрики: Биохимия Кл.слова (ненормированные): Нуклеиновые кислоты -- Биохимия -- Математическая логика -- Учебные издания -- клетка Экземпляры всего: 1 Х (1) Свободны: Х (1) |
577 М 931 Мушкамбаров, Николай Николаевич Аналитическая биохимия : в 3 т / Николай Николаевич Мушкамбаров. - М. : Экспедитор, 1996 - . Т.1. - 1996. - с.1-390. - ISBN 5-88037-017-8 : 15 р.
Рубрики: Биохимия Кл.слова (ненормированные): клетка -- Биохимия -- Математическая логика -- Учебные издания Экземпляры всего: 1 Х (1) Свободны: Х (1) |
577 М 931 Мушкамбаров, Николай Николаевич Аналитическая биохимия : в 3 т / Николай Николаевич Мушкамбаров. - М. : Экспедитор, 1996 - . Т.3. - 1996. - с.801-1309. - ISBN 5-88037-017-8 : 15 р.
Рубрики: Биохимия Кл.слова (ненормированные): клетка -- Биохимия -- Математическая логика -- Учебные издания -- Метаболизм Экземпляры всего: 1 Х (1) Свободны: Х (1) |
519 М 34 Математические вопросы кибернетики : сборник статей / ред. О. Б. Лупанов. - Москва : ФИЗМАТЛИТ, 2002 - . Вып. 11. - 2002. - 288 с. : ил. - ISBN 5-9221-0376-8 : 80.00 р., 80.00 р.
Кл.слова (ненормированные): Математическая логика -- Булевы функции -- Дискретная математика -- Управляющие системы Доп.точки доступа: Лупанов, О. Б. \ред.\ Экземпляры всего: 2 Х (1), АБН (1) Свободны: Х (1), АБН (1) |
519 М 34 Математические вопросы кибернетики [Текст] : сб. ст. / под ред. О. Б. Лупанова; [сост.: Н. А. Карпова и др.]. - М. : Физматлит, 2004 - . Вып. 13. - 2004. - 304 с. - Библиогр. в конце ст. - ISBN 5-9221-0043-2 : 140.00 р.
Рубрики: Математическая кибернетика Кл.слова (ненормированные): Последовательности -- Комбинаторные задачи -- Математическая логика Доп.точки доступа: Карпова Н. А. \.\; Кулагина О. С. \.\; Янов Ю. И. \.\; Лупанов О. Б. \\ Экземпляры всего: 1 Х (1) Свободны: Х (1) |
51 М 268 Марков, А. А. Избранные труды / А. А. Марков ; ред., сост. Н. М. Нагорный. - М. : Изд-во МЦНМО, 2003 - . Т. 2 : Теория алгорифмов и конструктивная математика, математическая логика, информатика и смежные вопросы. - 2003. - 626, XXII с. - ISBN 5-94057-113-1 : 250.00 р.
Кл.слова (ненормированные): АЛГОРИФМОВ ТЕОРИЯ -- МАТЕМАТИКА КОНСТРУКТИВНАЯ -- ИНФОРМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИКИ РОССИИ Доп.точки доступа: Нагорный, Н. М. \ред., сост.\; Марков, Андрей Андреевич (1903-1979) Экземпляры всего: 1 Х (1) Свободны: Х (1) |
51 Г 474 Гильберт, Д. Основы теоретической логики [Текст] : пер.с нем. / Ред.С.А.Яновский. - Биробиджан : Тривиум, 2000. - 304с. - ISBN 5-1251-0180-X : 129 р.
Рубрики: Математическая логика Кл.слова (ненормированные): Исчисление высказываний -- Математическая логика -- Исчисление предикатов Доп.точки доступа: Аккерман, В. Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 К 608 Колмогоров, Андрей Николаевич. Математическая логика : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : УРСС, 2004. - 240 с. - (Классический университетский учебник). - Библиогр.: с. 228. - ISBN 5-354-00389-X : 140.00 р., 156.90 р.
Кл.слова (ненормированные): Математическая логика -- Множеств теория -- Алгоритмов теория -- Доказательств теория Доп.точки доступа: Драгалин, Альберт Григорьевич Экземпляры всего: 3 Х (1), ЧЗЕ (1), АБУ (1) Свободны: Х (1), ЧЗЕ (1), АБУ (1) |
517 Д 721 Драгалин, Альберт Григорьевич. Конструктивная теория доказательств и нестандартный анализ / А. Г. Драгалин ; ред. Г. Е. Минц. - Москва : Едиториал УРСС, 2003. - 544 с. - ISBN 5-354-00387-3. - ISBN 5-354-00387-3 : 319.00 р., 180.00 р., 319.00 р.
Кл.слова (ненормированные): Математическая логика -- Доказательства (математика) -- Интуиционизм Доп.точки доступа: Минц, Г. Е. \ред.\ Экземпляры всего: 4 Х (1), АБН (3) Свободны: Х (1), АБН (3) |
517 К 608 Колмогоров, Андрей Николаевич. Математическая логика : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Московский государственный университет им. М. Л. Ломоносова. - 2-е изд., стер. - Москва : УРСС, 2005. - 240 с. - (Классический университетский учебник). - Библиогр.: с. 228. - ISBN 5-354-01003-9 : 159 р.
Кл.слова (ненормированные): Математическая логика -- Множеств теория -- Алгоритмов теория -- Доказательств теория Доп.точки доступа: Драгалин, Альберт Григорьевич; Московский государственный университет им. М. Л. Ломоносова Экземпляры всего: 2 АБУ (2) Свободны: АБУ (2) |
519 В 67 Волгин, Леонид Иванович. Комплементарная алгебра и моделирование нейронных структур / Л. И. Волгин. - Таллинн : АО КLTK, 1993. - 45 с. - Библиогр.: с. 42-45. - 40.00 р.
Кл.слова (ненормированные): математическая логика -- кибернетика -- комплементарная алгебра Аннотация: На множестве функций скалярных произведений построена комплементарная алгебра. Путем наложения ограничений на свойства переменных получен ряд вложенных в КА математических структур: предикатная алгебра выбора, непрерывная логика. Экземпляры всего: 1 АБН (1) Свободны: АБН (1) |
517 Г 977 Гуц, Александр Константинович. Математическая логика и теория алгоритмов : Учеб. пособие / Омский гос. ун-т. - Омск : Наследие: Диалог-Сибирь, 2003. - 108 с. - Библиогр.: с. 105-107. - ISBN 5-8239-0126-7 : 50.00 р.
Алгоритмы--Теория--Учебные издания для высших учебных заведений Кл.слова (ненормированные): Математическая логика -- Логика высказываний -- Логика предикатов -- Алгоритмы Экземпляры всего: 1 Х (1) Свободны: Х (1) |
519 Н 58 Нефедов, Виктор Николаевич. Курс дискретной математики : учебное пособие / В. Н. Нефедов, В. А. Осипова. - Москва : Издательство МАИ, 1992. - 264 с. : ил. - ISBN 5-7035-0157-X : 10.00 р., 10.00 р., 10 р.
Кл.слова (ненормированные): Алгебраические структуры -- Конечные графы -- Комбинаторика -- Дискретная математика -- Математическая логика Доп.точки доступа: Осипова, Виктория Аркадьевна Экземпляры всего: 3 Х (1), ЧЗЕ (1), АБУ (1) Свободны: Х (1), ЧЗЕ (1), АБУ (1) |
517 В 317 Верещагин, Н. К. Языки и исчисления [Текст] / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2000. - 288с. - (Лекции по математической логике и теории алгоритмов). - Библиогр.:с.269-272. - ISBN 5-900916-66-9 : 50 р.
Рубрики: Математическая логика Кл.слова (ненормированные): Учебные издания -- Математическая логика Доп.точки доступа: Шень, А. Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 М 792 Мордкович, Александр Григорьевич. Математический анализ : учебник для учащихся техникумов, обучающихся по специальности "Прикладная математика" / А. Г. Мордкович, А. С. Солодовников. - Москва : Высшая школа , 1990. - 416 с. : ил. - Предм. указ.: с. 410-416 . - ISBN 5-06-001008-2 : 6.00 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ДЕЙСТВИТЕЛЬНЫЕ ЧИСЛА -- ЧИСЛОВЫЕ ПОСЛЕДОВАТЕЛЬНОСТИ -- ФУНКЦИИ ОДНОЙ ПЕРЕМЕННОЙ -- ПРОИЗВОДНАЯ -- ОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ -- ЧИСЛОВЫЕ РЯДЫ -- ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ Доп.точки доступа: Солодовников, Александр Самуилович Экземпляры всего: 1 АБЗ (1) Свободны: АБЗ (1) |