517 З-668 Зияитдинов, Рамзис Гайнитдинович. Решение логических задач [Текст] : учеб. пособие / М-во образования и науки РФ, Твер. гос. ун-т. - Изд. 2-е, перераб. и доп. - Тверь : ТГУ, 2004. - 144 с. : ил. - Библиогр.: с. 142-143. - 39.00 р.
Рубрики: Математическая логика Кл.слова (ненормированные): Логика математическая -- Учебное пособие -- Буля алгебра Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 А456 Алгебраические и логические конструкции : Сб.науч.тр / Твер.ун-т. - Тверь : [б. и.], 1994. - 104 с. - ISBN 5-230-08552-5 : 1500 р.
Кл.слова (ненормированные): Кибернетика -- Логика математическая -- Алгебра Аннотация: Основная тема сборника - применение алгебраических и логических конструкций при исследовании алгебры и автоматов. Экземпляры всего: 1 Х (1) Свободны: Х (1) |
16од S 16 Sainsbury, Mark. Logical forms : an introduction to philosophical logic / M. Sainsbury. - 2nd. ed. - Malden : Blackwell, 2001. - 424 с. - ISBN 0-631-21679-0 : 1099.50 р. Примечания о происхождении: Оксфордский Российский Фонд
Рубрики: Логика Кл.слова (ненормированные): Логические формы -- Логика символическая -- Логика математическая Экземпляры всего: 1 ОИЛ (1) Свободны: ОИЛ (1) |
517 Н 723 Новак, Вилем. Математические принципы нечеткой логики = Mathematical principles of fuzzy logic : перевод с английского / В. Новак, И. Перфильева, И. Мочкорж ; пер. А. Н. Аверкин. - Москва : ФИЗМАТЛИТ, 2006. - 352 с. - Библиогр.: с. 335-343. - ISBN 5-9221-0399-7 : 195.00 р., 249.50 р.
Кл.слова (ненормированные): ЛОГИКА МАТЕМАТИЧЕСКАЯ -- НЕЧЕТКАЯ ЛОГИКА -- ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ (МАТЕМАТИКА) -- НЕЧЕТКИЕ МНОЖЕСТВА Доп.точки доступа: Перфильева, Ирина; Мочкорж, Иржи; Аверкин, А. Н. \пер.\ Экземпляры всего: 4 Х (1), ЧЗЕ (1), АБН (2) Свободны: Х (1), ЧЗЕ (1), АБН (2) |
517 К 950 Кутасов, Александр Дмитриевич. Элементы математической логики : пособие для учащихся 9-10-х кл. / А. Д. Кутасов. - М. : Просвещение, 1977. - 63 с. : ил. - 00.10 р.
Кл.слова (ненормированные): логика математическая Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 М 545 Методическая разработка по курсу "Математическая логика и дискретная математика" : для механико-математических факультетов и факультетов прикладной математики университетов / В. Б. Алексеев [и др.]. - Саратов : Издательство Саратовского университета, 1982. - 134 с. - 00.20 р.
Кл.слова (ненормированные): логика математическая -- математика дискретная Доп.точки доступа: Алексеев, Валерий Борисович; Алешин, Станислав Владимирович; Буевич, Вячеслав Александрович; Кудрявцев, Валерий Борисович; Подколзин, Александр Сергеевич; Сапоженко, Александр Антонович; Яблонский, Сергей Всеволодович Экземпляры всего: 1 АБУ (1) Свободны: АБУ (1) |
517 М 917 Мустафина, Ч. С. Задания по математической логике. С методическими указаниями к их выполнению / Ч. С. Мустафина ; КГПИ. - Казань : [б. и.], 1971. - 64 с. - 0.40 р.
Кл.слова (ненормированные): ЛОГИКА МАТЕМАТИЧЕСКАЯ Доп.точки доступа: Калининский государственный педагогический институт Экземпляры всего: 1 Х (1) Свободны: Х (1) |
519 С 290 Селезнев, А. И. Основы теории множеств и элементов математической логики : учеб. пособие / А. И. Селезнев, Н. Г. Серебрякова, Л. Н. Пантелеева ; ГГУ. - Горький : [б. и.], 1972. - 25 с. : ил. - Библиогр.: с. 24. - 0.06 р.
Кл.слова (ненормированные): МНОЖЕСТВ ТЕОРИЯ -- ЛОГИКА МАТЕМАТИЧЕСКАЯ Доп.точки доступа: Серебрякова, Н. Г.; Пантелеева, Л. Н.; Горьковский государственный университет Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 С 424 Скарынкин, В. С. Сборник заданий по математической логике и теории графов : учеб. пособие для студентов специальности "Организация механизированной обработки экономической информации" / В. С. Скарынкин ; Горьк. гос. ун-т. - Горький : [б. и.], 1974. - 94 с. - 0.24 р.
Кл.слова (ненормированные): логика математическая -- обработка информации -- графов теория Доп.точки доступа: Горьковский государственный университет Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 Э 192 Эдельман, Самсон Львович. Математическая логика : учебное пособие / С. Л. Эдельман. - Москва : Высшая школа, 1975. - 176 с. - Библиогр.: с.172 . - Предм. указ.: с. 173-176. - 00.30 р., 00.30 р.
Кл.слова (ненормированные): ЛОГИКА МАТЕМАТИЧЕСКАЯ Экземпляры всего: 3 Х (1), АБУ (2) Свободны: Х (1), АБУ (2) |
517 Щ 346 Щегольков, Е. А. Упражнения и задачи по курсу математической логики / Е. А. Щегольков ; Моск. пед. ин-т. - М. : [б. и.], 1971. - 45 с. - 0.15 р.
Кл.слова (ненормированные): Логика математическая Доп.точки доступа: Московский педагогический институт им. В. И. Ленина Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 Г 858 Гринченков, Дмитрий Валерьевич. Математическая логика и теория алгоритмов для программистов : учебное пособие для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника" / Д. В. Гринченков, С. И. Потоцкий. - Москва : КНОРУС, 2010. - 206, [2] с. : ил. - Библиогр.: с. 205-206. - ISBN 978-5-406-00120-2 : 140.00 р., 112.20 р.
Кл.слова (ненормированные): БУЛЕВА АЛГЕБРА -- ЛОГИКА МАТЕМАТИЧЕСКАЯ -- АЛГОРИТМОВ ТЕОРИЯ -- БУЛЕВЫ ФУНКЦИИ -- КВАЙНА-МАК КЛАСКИ МЕТОД -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМ РЕДУКЦИИ -- ПРОЛОГ (ЯЗЫК ПРОГРАММИРОВАНИЯ) Доп.точки доступа: Потоцкий, Сергей Иванович Экземпляры всего: 11 Х (1), ЧЗЕ (1), АБУ (9) Свободны: Х (1), ЧЗЕ (1), АБУ (9) |
517 С 816 Столяр, Абрам Аронович. Как математика ум в порядок приводит / А. А. Столяр. - 2-е изд., испр. и доп. - Минск : Вышэйшая школа, 1991. - 207 с. : ил. - ISBN 5-339-00587-9 : 1.00 р.
Кл.слова (ненормированные): логика математическая -- теория математическая -- описание объектов одинаковой структуры Экземпляры всего: 1 ЧЗЕ (1) Свободны: ЧЗЕ (1) |
517 Л 190 Лакатос, Имре. Доказательства и опровержения : как доказываются теоремы / И. Лакатос ; пер. с англ. с предисл. проф. И. Н. Веселовского, отв. ред. д.ф.-м.н. И. Б. Погребысский. - Москва : Наука, 1967. - 150, [2] с. : ил. - Библиогр. в конце кн. - 0.50 р., 0.50 р.
Кл.слова (ненормированные): теоремы (доказательства) -- логика математическая -- математика (философия) Доп.точки доступа: Академия наук СССР Экземпляры всего: 2 АБН (1), Х (1) Свободны: АБН (1), Х (1) |
51 К 608 Колмогоров, Андрей Николаевич. Избранные труды : Математика и механика / А. Н. Колмогоров ; ред. С. М. Никольский ; Академия наук СССР. - Москва : Наука, 1985. - 469 с. - Библиогр.: с. 452. - 3.50 р., 3.50 р.
Кл.слова (ненормированные): ИСТОРИЯ МАТЕМАТИКИ -- МАТЕМАТИКА (ИСТОРИЯ) -- МАТЕМАТИКА И МЕХАНИКА -- МЕХАНИКА (ИСТОРИЯ) -- ИСТОРИЯ МЕХАНИКИ -- ТУРБУЛЕНТНОСТЬ -- ДЕСКРИПТИВНАЯ ТЕОРИЯ МНОЖЕСТВ -- ЛОГИКА МАТЕМАТИЧЕСКАЯ -- ТОПОЛОГИЯ -- ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ -- МЕРЫ И ИНТЕГРАЛА ТЕОРИЯ -- ПРИБЛИЖЕНИЙ ТЕОРИЯ -- ТРИГОНОМЕТРИЧЕСКИХ И ОРТОГОНАЛЬНЫХ РЯДОВ ТЕОРИЯ -- ФУНКЦИОНАЛЬНЫЙ АНАЛИЗ Доп.точки доступа: Никольский, С. М. \ред.\; Академия наук СССР Экземпляры всего: 3 Х (1), АБН (2) Свободны: Х (1), АБН (2) |
512 К 650 Конструкции в алгебре и логике : Сб. науч. тр. / Твер. гос. ун-т ; [Редкол.: Ю.М. Горчаков (отв. ред.) и др.]. - Тверь : Твер. гос. ун-т, 1990. - 132 с. : ил ; 20. - Библиогр. в конце ст. - 250 экз. - ISBN 5-230-08637-5 : 1.00 р.
Кл.слова (ненормированные): Алгебра -- Абелевы группы -- Математическая логика -- Логика математическая -- Кибернетика Доп.точки доступа: Горчаков, Юрий Михайлович \ред.\; Тверской ун-т Экземпляры всего: 1 АБН (1) Свободны: АБН (1) |
1296456 Гутерман, А. Э Линейные отображения, сохраняющие матричные инварианты : автореферат дис. ... канд. физ.-мат. наук : 01.01.06 / А. Э Гутерман. - Москва, 2001. - 16 с. Кл.слова (ненормированные): ЛОГИКА МАТЕМАТИЧЕСКАЯ -- ЧИСЕЛ ТЕОРИЯ -- ИНВАРИАНТЫ МАТРИЧНЫЕ -- ЛИНЕЙНЫЕ ОТОБРАЖЕНИЯ Экземпляры всего: 1 Х (1) Свободны: Х (1) |
1313043 Жеглов, А. Б. Локальные тела : автореферат дис. ... канд. физ.-мат. наук : 01.01.06 / А. Б. Жеглов. - Москва, 2001. - 15 с. Кл.слова (ненормированные): ЛОГИКА МАТЕМАТИЧЕСКАЯ -- ЛОКАЛЬНЫЕ ТЕЛА Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 Г 458 Гжегорчик, Анджей. Популярная логика : Общедоступный очерк логики предложений / А. Г. Гжегорчик ; пер. с польск.С. П. Беляев. - 3-е изд., стер. - Москва : Наука, 1979. - 112 с. : ил. - 0.25 р.
Кл.слова (ненормированные): Логика математическая -- Математическая логика Доп.точки доступа: Беляев, С. П. \пер.\ Экземпляры всего: 1 АБН (1) Свободны: АБН (1) |
517 Ш 477 Шенфилд, Джозеф. Математическая логика / Дж. Шенфилд ; пер. с англ.: И. А. Лавров, И. А. Мальцев ; ред. Ю. Л. Ершов. - Москва : Наука, 1975. - 528 с. : ил. - (Математическая логика и основания математики). - Предм. указ.: с. 520-527. - 2.16 р.
Кл.слова (ненормированные): логика математическая Доп.точки доступа: Лавров, И. А. \пер. с англ.\; Мальцев, И. А. \пер. с англ.\; Ершов, Ю. Л. \ред.\ Экземпляры всего: 1 АБН (1) Свободны: АБН (1) |