| Найдено документов - 85 | Найти похожие: "Индекс ББК" = 'В14 или В122 или В181.3' | Версия для печати |
Сортировать по:
1. Документ
Багина.
Алгебра и геометрия: примеры решения задач : практикум. Ч. 2 : Алгебра и геометрия: примеры решения задач. Ч. 2 / Багина; Багина . - Кемерово : КемГУ, 2022. - 141 с. - Книга из коллекции КемГУ - Математика. - ISBN 978-5-8353-2850-5.
Алгебра и геометрия: примеры решения задач : практикум. Ч. 2 : Алгебра и геометрия: примеры решения задач. Ч. 2 / Багина; Багина . - Кемерово : КемГУ, 2022. - 141 с. - Книга из коллекции КемГУ - Математика. - ISBN 978-5-8353-2850-5.
Ссылка на ресурс: https://e.lanbook.com/book/233345
Ссылка на ресурс: https://e.lanbook.com/img/cover/book/233345.jpg
Подробнее
Аннотация: Учебное издание составлено в соответствии с программой дисциплины «Алгебра и геометрия» и содержит образцы решения типовых задач по разделам дисциплины «Алгебра и геометрия»: комплексные числа, многочлены, векторные пространства, линейные операторы, евклидовы пространства, линии второго порядка, квадратичные формы и задачи для самостоятельного решения. Учебное издание предназначено для обучающихся по направлению подготовки 01.03.02 Прикладная математика и информатика, а также будет полезна обучающимся по направлениям подготовки 02.03.03 Математическое обеспечение и администрирование информационных систем, 02.03.02 Фундаментальная информатика и информационные технологии, преподавателям вузов.
2. Книга
Брюшинкин Владимир Никифорович.
Теория поиска вывода : происхождение и философские приложения / Брюшинкин Владимир Никифорович, Ходикова Нина Анатольевна; Балт. федер. ун-т им. Иммануила Канта. - Калининград : Балтийский федеральный университет им. Иммануила Канта, 2012. - 165, [1] с. - Библиогр.: с. 158-166 (128 назв.) и в подстроч. примеч. - ISBN 978-5-9971-0222-7 : 120.00.
Теория поиска вывода : происхождение и философские приложения / Брюшинкин Владимир Никифорович, Ходикова Нина Анатольевна; Балт. федер. ун-т им. Иммануила Канта. - Калининград : Балтийский федеральный университет им. Иммануила Канта, 2012. - 165, [1] с. - Библиогр.: с. 158-166 (128 назв.) и в подстроч. примеч. - ISBN 978-5-9971-0222-7 : 120.00.
Авторы: Брюшинкин Владимир Никифорович, Ходикова Нина Анатольевна
Шифры: В122 - Б 89
Ключевые слова: Автоматическое доказательство, Гильбертовская теория доказательств, Доказательства (мат.), История логики, Логика, Математика, Математическая логика, Научные теории, Поиск вывода, Поризмы, Происхождение научных теорий, Психология, Теория доказательств, Теория поиска вывода, Философия логики
Экземпляры: Всего: 2, из них: к3-2
Подробнее
Аннотация: Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту.
3. Книга
Семинар по суперсимметриям. Т. 1 : Алгебра и анализ: основные факты / Бернштейн Иосиф Наумович [и др.]; под ред. Д. Лейтеса. - Москва : МЦНМО, 2011. - 410 с. ; 23 см. - Авт. указаны на обороте тит. л. - Библиогр. в конце гл. - Предм. указ.: с. 402-410. - ISBN 978-5-94057-850-5 (т. 1). - ISBN 978-5-94057-849-9 : 330.00.
Авторы: Бернштейн Иосиф Наумович, Лейтес Дмитрий Александрович, Молотков Владимир Васильевич, Шандер Владимир Наумович
Шифры: В1 - С 30
Ключевые слова: Алгебра, Алгебраическая геометрия, Аффинная алгебраическая геометрия, Векторные поля, Геометрия, Градуированные алгебры, Группы Брауэра, Дифференциальная геометрия, Дифференциальные уравнения, Интегрирование, Линейная алгебра, Математика, Математический анализ, Симметрии, Суперкоммутативные супералгебры, Суперматематика, Супермногообразия, Суперпространства, Суперсимметрии, Теория супермногообразий, Теория суперсимметрий
Экземпляры: Всего: 1, из них: к3-1
Ссылка на ресурс: http://texts.lib.tversu.ru/texts/989146ogl.pdf
Подробнее
Аннотация: Теория суперсимметрий - относительно новое направление в математике. Идеи суперсимметрии, появившиеся, чтобы разрешить долго казавшиеся неразрешимыми некоторые проблемы теоретической физики, быстро выросли в теорию супермногообразий - богатый сплав дифференциальной и алгебраической геометрий с собственными глубокими и пока малоисследованными проблемами. В этой книге изложены основы линейной алгебры в суперпространствах и элементы дифференциальной и алгебраической геометрий на супермногообразиях. В следующих томах рассмотрены избранные более сложные вопросы. Книга насыщена открытыми проблемами разного уровня сложности и будет полезна как студентам, так и преподавателям и научным работникам - как математикам, так и физикам.
4. Книга
Лакатос Имре (1922-1974).
Доказательства и опровержения : как доказываются теоремы / Лакатос Имре; пер. с англ. с предисл. И. Н. Веселовского ; отв. ред. И. Б. Погребысский. - Изд. 2-е. - Москва : URSS : ЛКИ, 2010. - 150, [2] с. : ил. ; 22 см. - (Физико-математическое наследие : ФМН) (Математика (основания математики и логика)). - Библиогр. в конце кн. и в подстроч. примеч. - ISBN 978-5-382-01024-3 : 160.30.
Доказательства и опровержения : как доказываются теоремы / Лакатос Имре; пер. с англ. с предисл. И. Н. Веселовского ; отв. ред. И. Б. Погребысский. - Изд. 2-е. - Москва : URSS : ЛКИ, 2010. - 150, [2] с. : ил. ; 22 см. - (Физико-математическое наследие : ФМН) (Математика (основания математики и логика)). - Библиогр. в конце кн. и в подстроч. примеч. - ISBN 978-5-382-01024-3 : 160.30.
Авторы: Лакатос Имре, Погребысский Иосиф Бенедиктович
Шифры: В122 - Л 19
Ключевые слова: Доказательства (мат.), Математика, Математическая логика, Опровержения (мат.)
Экземпляры: Всего: 2, из них: к3-2
Подробнее
Аннотация: Предлагаемая вниманию читателя книга известного английского математика И. Лакатоса (1922 -1974) посвящена проблемам математической логики. Она написана легко, увлекательно и остроумно в виде разговора учителя с учениками, разбирающими доказательства знаменитой теоремы Эйлера о многогранниках и получающиеся при этом парадоксы. Ошибки, которые делают ученики, в действительности были допущены различными математиками XIX в., что раскрывается в подстрочных примечаниях, дающих полную историю вопроса. Рекомендуется студентам математических специальностей, а также учащимся старших классов, интересующимся математикой.
5. Документ
Зуланке Рольф.
Алгебра и геометрия : [в 3 т.]. Т. 2 : Модули и алгебры / Зуланке Рольф; Р. Зуланке, А. Л. Онищик. - Москва : МНЦНМО, 2008. - 336 с. - Библиогр.: с. 327-330. - Предм. указ.: с. 331-336. - ISBN 978-5-94057-351-7 (т. 2) : 190.00.
Алгебра и геометрия : [в 3 т.]. Т. 2 : Модули и алгебры / Зуланке Рольф; Р. Зуланке, А. Л. Онищик. - Москва : МНЦНМО, 2008. - 336 с. - Библиогр.: с. 327-330. - Предм. указ.: с. 331-336. - ISBN 978-5-94057-351-7 (т. 2) : 190.00.
Авторы: Зуланке Рольф, Онищик Аркадий Львович
Шифры: В14 - З-93
Ключевые слова: Алгебра, Геометрия, Модули (мат.), Алгебры
Экземпляры: Всего: 1, из них: к3-1
Подробнее
6. Документ
Лобанов Владимир Иванович.
Русская вероятностная логика для школьников и умных академиков / Лобанов Владимир Иванович. - Москва : б. и., 2008. - 33 с. : ил., табл. - Библиогр.: с. 32 (5 назв.). - 70.00.
Русская вероятностная логика для школьников и умных академиков / Лобанов Владимир Иванович. - Москва : б. и., 2008. - 33 с. : ил., табл. - Библиогр.: с. 32 (5 назв.). - 70.00.
Шифры: В122 - Л 68
Ключевые слова: Вероятностная логика, Математическая логика, Русская вероятностная логика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
7. Документ
Новак Вилем.
Математические принципы нечеткой логики / Новак Вилем, Перфильева Ирина, Мочкорж Иржи; пер. с англ. под ред. А. Н. Аверкина. - Москва : Физматлит, 2006. - 347 с. : ил. - Доп. тит. л. на англ. яз. - Библиогр.: с. 335-343. - Предм. указ.: с. 344-347. - ISBN 5-9221-0399-7 (рус.) : 249.15.
Математические принципы нечеткой логики / Новак Вилем, Перфильева Ирина, Мочкорж Иржи; пер. с англ. под ред. А. Н. Аверкина. - Москва : Физматлит, 2006. - 347 с. : ил. - Доп. тит. л. на англ. яз. - Библиогр.: с. 335-343. - Предм. указ.: с. 344-347. - ISBN 5-9221-0399-7 (рус.) : 249.15.
Авторы: Новак Вилем, Перфильева Ирина, Мочкорж Иржи, Аверкин А. Н.
Шифры: В122 - Н72
Ключевые слова: Логика, Нечеткая логика
Экземпляры: Всего: 3, из них: к3-3
Подробнее
8. Документ
Клини Стивен Коул (1909-1994).
Математическая логика / Клини Стивен Коул; С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. - Изд. 2-е, стер. - Москва : УРСС, 2005. - 480 с. - Перевод изд.: Mathematical logic / Stephen Cole Kleene. - Библиогр.: с. 451-465. - Авт. и предм. указ.: с. 470-478. - ISBN 5-354-01011-X : 280.00.
Математическая логика / Клини Стивен Коул; С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. - Изд. 2-е, стер. - Москва : УРСС, 2005. - 480 с. - Перевод изд.: Mathematical logic / Stephen Cole Kleene. - Библиогр.: с. 451-465. - Авт. и предм. указ.: с. 470-478. - ISBN 5-354-01011-X : 280.00.
Авторы: Клини Стивен Коул, Гастев Ю. А., Минц Г. Е.
Шифры: В122 - К49
Ключевые слова: Математическая логика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
9. Документ
Биркгоф Гаррет.
Современная прикладная алгебра / Биркгоф Гаррет; Гаррет Биркгоф, Томас К. Барти ; пер. с англ. Ю. И. Манина. - Изд. 2-е, стер. - СПб. [и др.] : Лань, 2005. - 400 с. : ил. - Доп. титл. л. англ. - Предм. указ.: с. 391-396. - ISBN 5-8114-0613-4 : 280.00.
Современная прикладная алгебра / Биркгоф Гаррет; Гаррет Биркгоф, Томас К. Барти ; пер. с англ. Ю. И. Манина. - Изд. 2-е, стер. - СПб. [и др.] : Лань, 2005. - 400 с. : ил. - Доп. титл. л. англ. - Предм. указ.: с. 391-396. - ISBN 5-8114-0613-4 : 280.00.
Авторы: Биркгоф Гаррет, Барти Томас К., Манин Юрий Иванович
Шифры: В14 - Б64
Ключевые слова: Алгебра, Прикладная алгебра
Экземпляры: Всего: 16, из них: к3-16
Подробнее
10. Документ
Зуланке Ральф.
Алгебра и геометрия : в 3 т. Т. 1 : Введение / Зуланке Ральф; Р. Зуланке, А. Л. Онищик. - Москва : Московский центр непрерывного математического образования, 2004. - 405 с. ; 22 см. - Библиогр.: с. 393-395. - Предм. указ.: с.396-405. - ISBN 5-94057-128-X (n/ 1) : 70.00.
Алгебра и геометрия : в 3 т. Т. 1 : Введение / Зуланке Ральф; Р. Зуланке, А. Л. Онищик. - Москва : Московский центр непрерывного математического образования, 2004. - 405 с. ; 22 см. - Библиогр.: с. 393-395. - Предм. указ.: с.396-405. - ISBN 5-94057-128-X (n/ 1) : 70.00.
Авторы: Зуланке Ральф, Онищик Аркадий Львович
Шифры: В14 - З-93
Ключевые слова: Алгебра, Геометрия
Экземпляры: Всего: 1, из них: к3-1
Подробнее
11. Документ
Современная математика и ее приложения : Темат. обзоры. Т. 26 : Алгебра - 4 / РАН, М-во пром-сти, науки и технологии РФ; Науч. ред. сер. Р. В. Гамкрелидзе; [Ред. тома: А. Г, Шипшина]. - Москва : ВИНИТИ, 2002. - 214,[1] с. : ил. - (Итоги науки и техники) (, ISSN 0233-6723). - Содерж.: Алгебры квантовых многочленов / В. А. Артамонов. Мономиальные алгебры / А. Я. Белов, В. В. Борисенко, В. Н. Латышев. - Библиогр. в конце обзоров. - 100.00.
Авторы: Гамкрелидзе Реваз Валерьянович, Шипшина А. Г., Артамонов В. А., Белов А. Я., Борисенко В. В., Латышев В. Н.
Шифры: В1я54 - С56
Ключевые слова: Математика, Алгебра, Обзоры
Экземпляры: Всего: 1, из них: к3-1
Подробнее
12. Документ
Лексаченко Валентин Александрович.
Логика. Множества. Вероятность / Лексаченко Валентин Александрович; В. А. Лексаченко. - Москва : Вузовская книга, 2001. - 128 с. : табл. - Библиогр.: с.126. - ISBN 5-89522-134-3 : 64.50.
Логика. Множества. Вероятность / Лексаченко Валентин Александрович; В. А. Лексаченко. - Москва : Вузовская книга, 2001. - 128 с. : табл. - Библиогр.: с.126. - ISBN 5-89522-134-3 : 64.50.
Шифры: В122 - Л43
Ключевые слова: Математическая логика, Математическая статистика, Множества, Случайные процессы (мат.), Теория вероятностей, Теория множеств
Экземпляры: Всего: 1, из них: к3-1
Подробнее
13. Документ
Карпенко Александр Степанович.
Логики Лукасевича и простые числа / Карпенко Александр Степанович; А. С. Капрпенко ; [отв. ред. В. К. Финн ; РАН, Ин-т философии]. - Москва : Наука, 2000. - 318,[1] с. - Библиогр.: с.283-308. - Имен. указ.: с.309-313. - ISBN 5-02-013048-6 : 22.00.
Логики Лукасевича и простые числа / Карпенко Александр Степанович; А. С. Капрпенко ; [отв. ред. В. К. Финн ; РАН, Ин-т философии]. - Москва : Наука, 2000. - 318,[1] с. - Библиогр.: с.283-308. - Имен. указ.: с.309-313. - ISBN 5-02-013048-6 : 22.00.
Авторы: Карпенко Александр Степанович, Финн В. К.
Шифры: В122 - К26
Ключевые слова: Многозначные логики, Математическая логика, Логики Лукасевича, Лукасевич, Числа, Простые числа
Экземпляры: Всего: 2, из них: к3-2
Подробнее
14. Документ
Верещагин Н. К.
Языки и исчисления : Лекции по мат. логике и теории алгоритмов / Н. К. Верещагин; Н. К. Верещагин, А. Шень. - Москва : МЦНМО, 2000. - 286 с. - На обл. загл. сер.: Математическая логика и теория алгоритмов. - Библиогр.: с.269-272. - Предм., имен. указ.: с.273-284. - ISBN 5-900916-66-9 : 27.00.
Языки и исчисления : Лекции по мат. логике и теории алгоритмов / Н. К. Верещагин; Н. К. Верещагин, А. Шень. - Москва : МЦНМО, 2000. - 286 с. - На обл. загл. сер.: Математическая логика и теория алгоритмов. - Библиогр.: с.269-272. - Предм., имен. указ.: с.273-284. - ISBN 5-900916-66-9 : 27.00.
Авторы: Верещагин Н. К., Шень Александр Ханьевич
Шифры: В122 - В31
Ключевые слова: Математическая логика, Языки первого порядка, Логические языки, Исчисления первого порядка, Логические исчисления
Экземпляры: Всего: 1, из них: к3-1
Подробнее
15. Документ
Lakatos Imre.
Proofs and refutations : the logic of mathematical discovery / Lakatos Imre; Imre Lakatos; ed. by John Worrall and Elie Zahar. - Cambridge : Cambridge university press, 1999. - XII, 174 p. ; 22 cm. - Bibliogr.: p. 155-165. - Ind.: p. 167-174. - ISBN 0-521-29038-8 : 1131.39.
Proofs and refutations : the logic of mathematical discovery / Lakatos Imre; Imre Lakatos; ed. by John Worrall and Elie Zahar. - Cambridge : Cambridge university press, 1999. - XII, 174 p. ; 22 cm. - Bibliogr.: p. 155-165. - Ind.: p. 167-174. - ISBN 0-521-29038-8 : 1131.39.
Авторы: Lakatos Imre, Worrall John, Zahar Elie
Шифры: Ю424 - L18
Ключевые слова: Логика, Доказательство, Опровержение, Математическая логика, Оксфордско-Российский фонд
Экземпляры: Всего: 1, из них: к9-1
Подробнее
16. Документ
Современная математика и ее приложения : Темат. обзоры. Т. 69 : Труды Международной конференции, посвященной 90-летию со дня рождения Л. С. Понтрягина (Москва, 31 авг. - 6 сент. 1998 г.). Т. 8: Алгебра / Авт.: Г. В. Белый, В. Е. Воскресенский, М. И. Кузнецов и др. / РАН, М-во науки и техн.политики РФ; Науч. ред. сер. Р. В. Гамкрелидзе; [Ред.-сост. тома: С. М. Асеев, С. А. Вахрамеев; Ред. тома В. П. Сахарова]. - Москва : ВИНИТИ, 1999. - 258,[2] с. - (Итоги науки и техники) (, ISSN 0233-6723). - Библиогр. в конце обзоров. - 19.00.
Авторы: Гамкрелидзе Р. В., Белый Г. В., Воскресенский В. Е., Никулин В.В., Кузнецов М. И., АСЕЕВ С. М., ВАХРАМЕЕВ С. А., Сахарова В. П.
Шифры: В1я54 - С56
Ключевые слова: Математика, Алгебра, Обзоры
Экземпляры: Всего: 1, из них: к3-1
Подробнее
17. Книга
Исследования по математическому анализу и алгебре : [сборник статей] / Том. гос. ун-т ; [под ред. И. А. Александрова и др.]. - Томск : Томский государственный университет, 1998. - 278 с. - Библиогр. в конце ст. - ISBN 5-7511-1009-9 : 17.38.
Авторы: Александров Игорь Александрович, Бубенчиков А. М., Гульков С. П.
Шифры: В161 - И88
Ключевые слова: Алгебра, Математический анализ
Экземпляры: Всего: 1, из них: к3-1
Подробнее
18. Документ
Брюно Александр Дмитриевич.
Степенная геометрия в алгебраических и дифференциальных уравнениях / Брюно Александр Дмитриевич; А.Д. Брюно. - Москва : Наука. Физматлит, 1998. - 288 с. : ил. - ISBN 5-02-015168-8 : 20.00.
Степенная геометрия в алгебраических и дифференциальных уравнениях / Брюно Александр Дмитриевич; А.Д. Брюно. - Москва : Наука. Физматлит, 1998. - 288 с. : ил. - ISBN 5-02-015168-8 : 20.00.
Шифры: В161.6 - Б89
Ключевые слова: Дифференциальные уравнения, Алгебраические уравнения, Степенная геометрия, Геометрия показателей степеней
Экземпляры: Всего: 1, из них: к3-1
Подробнее
19. Документ
Chagrov Alexander.
Modal logic / Chagrov Alexander, Zakharyaschev Michael; Alexander Chagrov, Michael Zakharyaschev; Inst. of Appl. Mathematics Russ. Acad. of sci. - Oxford : Clarendon press, 1997. - XV, [1], 605 p. : Il. - (Oxford logic guides) ( ; 35). - Bibliogr.: p.567-595. - Ind.: p.597-605. - ISBN 0-19-853779-4 : 55000.00.
Modal logic / Chagrov Alexander, Zakharyaschev Michael; Alexander Chagrov, Michael Zakharyaschev; Inst. of Appl. Mathematics Russ. Acad. of sci. - Oxford : Clarendon press, 1997. - XV, [1], 605 p. : Il. - (Oxford logic guides) ( ; 35). - Bibliogr.: p.567-595. - Ind.: p.597-605. - ISBN 0-19-853779-4 : 55000.00.
Авторы: Chagrov Alexander, Zakharyaschev Michael
Шифры: В122 - C43
Ключевые слова: Модальные логики
Экземпляры: Всего: 1, из них: к3-1
Подробнее
20. Документ
Muskens Reinhard.
Meaning and Partiality / Muskens Reinhard; R. Muskens. - Standford : CSLI : FoLLI, 1995. - 141 p. - (Studies in Logic, Lang. a. Inform.). - Ind.: p.139-141. - ISBN 1-881526-80-1 : 15.22.
Meaning and Partiality / Muskens Reinhard; R. Muskens. - Standford : CSLI : FoLLI, 1995. - 141 p. - (Studies in Logic, Lang. a. Inform.). - Ind.: p.139-141. - ISBN 1-881526-80-1 : 15.22.
Шифры: В122 - М97
Ключевые слова: Математическая логика
Экземпляры: Всего: 1, из них: к3-1
Подробнее