Выбор БД
Тип поиска
Сортировать по:
1. Книга
bookCover
Воронцов Владимир Александрович.
Фундаментальная система языка и ее использование в семантических исследованиях / В. А. Воронцов ; Институт истории АН РТ, Казанский институт евразийских и международных исследований, Институт международных отношений, истории и востоковедения - Казанский (Поволжский) федеральный университет. - Казань : Логос-Пресс, 2024. - 198 с. : ил. - Библиогр.: с. 181-183. - ISBN 978-5-00205-069-7 : 400.00.
Авторы: Воронцов Владимир Александрович, Карасик В. И., Крейдлин Г. Е., Маслова В. А., Радбиль Т. Б., Рябцева Н. К., Тимерханов А. А.
Шифры: Ш100.6 - В 75
Ключевые слова: Лингвистика, Протоязык, Язык жестов, Математика для детей, Семантические исследования, Глоттогенез, Мифогенез, Мифологизированное сознание, Приобщение ребенка к математике, Лингвистика и математика
Экземпляры: Всего: 2, из них: к9-2
Подробнее
Аннотация: В книге под фундаментальной системой звукового языка подразумевается его метаязык, в качестве которого рассматривается естественный язык жестов, данный человеку от природы и понятный даже младенцам. Этот протоязык традиционно используется в ходе приобщения к звуковому языку, культуре, социальным нормам общежития. Использование метаязыка при осмыслении законов звукового языка порождает фундаментальную, содержательную компаративистику, позволяющую ответить на вопросы, на которые не способна ответить поверхностная, формальная компаративистика, игнорирующая жесты, наполняющие звуковые слова содержанием. Визуализация процесса наполнения звуковой оболочки содержанием обеспечивает понимание глубинной структуры и исконного смысла звуковых слов, высвечивает исконные связи между словами, позволяет обнаружить самых загадочных мифических и сказочных персонажей, изначальную среду обитания человека, исходный культурный слой, а также даёт возможность осмыслить мифы, отразившие начало человеческого бытия, глоттогенез, социогенез и культурогенез. Предназначается для студентов, аспирантов, преподавателей и широкого круга читателей, интересующихся проблемами глоттогенеза, мифогенеза и антропосоциокультурогенеза.
2. Книга
bookCover
Целищев Виталий Валентинович.
Алгоритмический ум : Ментализм vs Механизм в философии математики / В. В. Целищев. - Москва : Канон-плюс, 2023. - 511 с. - (Библиотека аналитической философии). - ISBN 978-5-88373-771-7 : 700.00.
Шифры: В12 - Ц 34
Ключевые слова: Математика, Философия математики, Философия науки, Математическая логика, Теория алгоритмов, Гедель Курт Фридрих, Вычислимость, Математические доказательства, Математическая интуиция, Математическая индукция, метод, Априоризм, Искусственный интеллект, Компьютерная математика, Мышление человека, Ментализм, Финитизм
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Книга "Алгоритмический ум" посвящена рассмотрению соотношения человеческого ума и компьютера на основе достижений математической логики и теории алгоритмов. Использование для этой цели знаменитых теорем Гёделя о неполноте арифметики, и их философского следствия в виде "дизъюнкции" Гёделя, приводит к формулировке двух полярных позиций, Ментализму и Механизму, в концептуальных рамках которых обсуждается роль понятий вычислимости, математического доказательства, интуиции и априоризма, субъективной и объективной математики, "знания" компьютера и принципов рефлексии в понимании природы машинного и человеческого интеллекта. Книга предназначена всем интересующимся проблемами сопоставления искусственного интеллекта и человеческого мышления с точки математической логики и философии математики.
3. Документ
bookCover
Любимов А. К.
Введение в теорию надёжности: проектноориентированный подход [Электронный ресурс] : учебно-методическое пособие / А. К. Любимов; Любимов А. К. - Нижний Новгород : ННГУ им. Н. И. Лобачевского, 2014. - 176 с. - Рекомендовано методической комиссией механико-математического факультета, центром инновационных образовательных технологий (Центр «Тюнинг») ИЭП для студентов, обучающихся по направлениям подготовки 010800 «Механика и математическое моделирование», 010400 «Прикладная математика и информатика». - Книга из коллекции ННГУ им. Н. И. Лобачевского - Математика.
Ссылка на ресурс: https://e.lanbook.com/book/153416
Ссылка на ресурс: https://e.lanbook.com/img/cover/book/153416.jpg
Подробнее
Аннотация: В пособии представлены разработки занятий по курсу «Введение в теорию надёжности», созданного в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки магистров 010800 «Механика и математическое моделирование», 010400 «Прикладная математика и информатика». Пособие содержит подробное описание организации проектно-ориентированного обучения на занятиях и их структуру. Учебно-методическое пособие предназначено для организации активной самостоятельной работы студентов над учебным материалом при изучении дисциплины «Теория надёжности», как в аудитории, так и вне аудитории.
4. Документ
bookCover
Зайцева О. Н.
Математические методы в приложениях. Дискретная математика [Электронный ресурс] : учебное пособие / О. Н. Зайцева, А. Н. Нуриев, П. В. Малов; Зайцева О. Н., Нуриев А. Н., Малов П. В. - Казань : КНИТУ, 2014. - 173 с. - Рекомендовано УМО РАЕ по классическому университетскому и техническому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям подготовки: 230400 – «Информационные системы и технологии», 230100 – «Информатика и вычислительная техника», 090900 – «Информационная безопасность». - Книга из коллекции КНИТУ - Математика. - ISBN 978-5-7882-1570-9.
Авторы: Зайцева О. Н., Нуриев А. Н., Малов П. В.
Ключевые слова: дискретная математика
Ссылка на ресурс: https://e.lanbook.com/img/cover/book/73295.jpg
Подробнее
Аннотация: В представленном пособии в доступной форме рассказывается о фундаментальных понятиях дискретной математики – логике, булевых функциях, множествах, отношениях и графах. Теория изложена кратко, но иллюстрирована многочисленными простыми для пониманимя примерами. Изложение курса дискретной математики представлено в форме решения математических задач различной сложности, связанных с программированием. Предложены алгоритмы решения этих задач, написанные на «псевдокоде». Пособие может быть использовано при изучении дисциплин «Дискретная математика», «Информатика», «Линейная алгебра и дискретная математика», «Логика» студентами института легкой промышленности моды и дизайна (направление подготовки «Информационные системы и технологии»), инженерного химико-технологического института (направление подготовки «Информационная безопасность»), института управления, автоматизации и информационных технологий (направление подготовки «Информатика и вычислительная техника»).
5. Документ
bookCover
Гаврилов В. С.
Функции Бесселя в задачах математической физики [Электронный ресурс] : учебно-методическое пособие / В. С. Гаврилов, Н. А. Денисова, А. В. Калинин; Гаврилов В. С., Денисова Н. А., Калинин А. В. - Нижний Новгород : ННГУ им. Н. И. Лобачевского, 2014. - 40 с. - Рекомендовано методической комиссией механико–математического факультета для студентов ННГУ, обучающихся по специальностям 010100 «Математика», 010400 «Прикладная математика и информатика», 010800 «Механика и математическое моделирование», 010200 «Математика и компьютерные науки». - Книга из коллекции ННГУ им. Н. И. Лобачевского - Математика.
Авторы: Гаврилов В. С., Денисова Н. А., Калинин А. В.
Ссылка на ресурс: https://e.lanbook.com/book/152836
Ссылка на ресурс: https://e.lanbook.com/img/cover/book/152836.jpg
Подробнее
Аннотация: В настоящем учебно-методическом пособии рассматривается уравнение Бесселя, его решение и задача Штурма–Лиувилля для уравнения Бесселя. Пособие предназначено для студентов старших курсов механико-математического факультета и соответствует программе курсов ”Уравнение математической физики“ и ”Уравнения с частными производными“.
6. Документ
bookCover
Малышев Д. С.
Комбинаторные методы формирования границы эффективной разрешимости дискретных задач в семействе наследственных классов графов [Электронный ресурс] : учебно-методическое пособие / Д. С. Малышев; Малышев Д. С. - Нижний Новгород : ННГУ им. Н. И. Лобачевского, 2011. - 45 с. - Рекомендовано методической комиссией факультета, ВМК для студентов ННГУ, обучающихся по направлению подготовки 010500 «Прикладная математика, и информатика», по направлению подготовки 010400 «Информационные технологии» и специальности 080801 «Прикладная информатика» и специализирующихся в области дискретной математики и математической кибернетики, а также для аспирантов, обучающихся по специальности 01.01.09 «Дискретная математика и математическая кибернетика». - Книга из коллекции ННГУ им. Н. И. Лобачевского - Математика.
Ссылка на ресурс: https://e.lanbook.com/book/153511
Ссылка на ресурс: https://e.lanbook.com/img/cover/book/153511.jpg
Подробнее
Аннотация: Учебно-методическое пособие Малышева Д.С. содержит новые результаты, относящиеся к вопросам сложностной стратификации наследственных классов графов для некоторых экстремальных графовых задач. Изучение вычислительной сложности задач в таких классах ведется на основе метода «критического» класса графов. В пособии содержится подробное изложение причин интереса к теории таких классов графов, соответствующие определения с комментариями, а также результаты из диссертации автора. Для самоконтроля понимания изложенного материала в пособие включены вопросы и задачи. Настоящее учебно-методическое пособие предназначено для студентов, обучающихся по направлениям подготовки «Прикладная математика и информатика», «Прикладная информатика», «Информационные технологии», а также для аспирантов, обучающихся по специальности 01.01.09 «Дискретная математика и математическая кибернетика».
7. Книга
bookCover
Курош Александр Геннадиевич.
Теория групп / Курош Александр Геннадиевич. - Москва : ФИЗМАТЛИТ, 2011. - 805, [1] с. ; 22 см. - (Классика и современность) (Математика). - Библиогр.: с. 705-782. - Имен., предм. указ.: с. 783-805. - ISBN 978-5-9221-1349-6 : 550.00.
Шифры: В144.1 - К 93
Ключевые слова: Алгебра, Группы (мат.), Математика, Теория групп
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Книга известного советского математика А.Г. Куроша, написанная в сороковых годах двадцатого века и давшая толчок к развитию теории групп советскими математиками. В книге рассматриваются общие свойства конечных групп, свойства абелевых групп, теоретико-групповые конструкции, разрешимые и нильпотентные группы, а также развитие теории и свойства бесконечных групп. Издание предназначено алгебраистам, работающим в теории групп, а также студентам, аспирантам и научным работникам, интересующимся данной темой.
8. Книга
bookCover
Наймарк Марк Аронович.
Теория представлений групп / Наймарк Марк Аронович. - Изд. 2-е. - Москва : ФИЗМАТЛИТ, 2010 (Москва). - 572 с. ; 22 см. - (Классика и современность) (Математика). - Библиогр.: с. 564-568. - Предм. указ.: с. 569-572. - ISBN 978-5-9221-1260-4 : 300.00.
Шифры: В144.1 - Н 20
Ключевые слова: Алгебра, Алгебры Ли, Группы (мат.), Группы Ли, Классические группы, Компактные группы, Конечномерные представления групп, Конечные группы, Математика, Представления групп, Топологические группы
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: В книге в доступной форме, но без снижения математической строгости, излагаются основы теории конечномерных представлений групп , в частности, представлений конечных групп, компактных групп и классических групп, а также излагаются основные понятия и предложения теории групп Ли и их конечномерных представлений. Для студентов старших курсов и аспирантов математических, физических и химических факультетов, научных работников: математиков и физиков-теоретиков.
9. Документ
bookCover
Башкин Владимир Анатольевич.
Эквивалентность ресурсов в сетях Петри / Башкин Владимир Анатольевич, Ломазова Ирина Александровна. - Москва : Научный Мир, 2008. - 206 с. : ил. - Библиогр.: с. 199-206. - ISBN 978-5-91522-002-6 : 190.00.
Авторы: Башкин Владимир Анатольевич, Ломазова Ирина Александровна
Шифры: В181 - Б 33
Ключевые слова: Кибернетика, Математическая кибернетика, Подобие ресурсов сети Петри, Ресурсы сети Петри, Сети Петри, Теория сетей, Эквивалентность ресурсов сети Петри
Экземпляры: Всего: 1, из них: к3-1
Подробнее
10. Документ
bookCover
Фултон Уильям.
Таблицы Юнга и их приложения к теории представлений и геометрии / Фултон Уильям; У. Фултон ; пер. с англ. М. Д. Горбульского, С. В. Добрынина и П. П. Никитина ; под ред. А. М. Вершика. - Москва : МЦНМО, 2006. - 325 с. : ил. - Доп. тит. л. на англ. яз. - Библиогр.: с. 269-275, 314-317. - Предм. указ.: с.322-325. - ISBN 5-94057-165-4 (рус.) : 130.00.
Авторы: Фултон Уильям, Горбульский М. Д., Добрынин С. В., Никитин П. П., Вершик А. М.
Шифры: В174.1 - Ф94
Ключевые слова: Таблицы Юнга, Представления групп, Теория представлений, Геометрия, Симметрические группы, Группы (мат.), Линейные группы, Полные линейные группы, Алгебраическая геометрия, Многообразия флагов, Геометрия грассманианов
Экземпляры: Всего: 1, из них: к3-1
Подробнее
11. Документ
bookCover
Теория тестирования логических устройств / В. Б. Кудрявцев, Э. Э. Гасанов, О. А. Долотова, Г. Р. Погоян ; под ред. В. А, Садовничего. - Москва : ФИЗМАТЛИТ, 2006. - 156 с. : ил., табл. - Библиогр.: с.152-156. - ISBN 5-9221-0727-5 : 100.00.
Авторы: Кудрявцев Валерий Борисович, Гасанов Эльяр Эльдарович, Долотова Оксана Александровна, Погосян Грант Рафаелович, Садовничий Виктор Антонович
Шифры: В181 - Т33
Ключевые слова: Управляющие системы, Логические устройства, Тестирование логических устройств, Контроль управляющих систем
Экземпляры: Всего: 2, из них: к3-2
Подробнее
12. Документ
bookCover
Самарский Александр Андреевич.
Математическое моделирование : идеи, методы, примеры / Самарский Александр Андреевич; А. А. Самарский, А. П. Михайлов. - Изд. 2-е, испр. - Москва : Физматлит, 2005. - 316, [4] с. : ил. - Рез. англ. - Библиогр.: с. 313-316. - ISBN 5-9221-0120-X : 170.00.
Авторы: Самарский Александр Андреевич, Михайлов Александр Петрович
Шифры: В181 - С17
Ключевые слова: Моделирование, Математическое моделирование
Экземпляры: Всего: 10, из них: к3-10
Подробнее
13. Документ
bookCover
Терещенко Сергей Андреевич.
Методы вычислительной томографии / Терещенко Сергей Андреевич; С. А. Терещенко. - Москва : Физматлит, 2004. - 318 с. : ил., табл. ; 22 см. - Библиогр.: с. 303-318. - ISBN 5-9221-0551-5 : 70.00.
Шифры: В181 - Т35
Ключевые слова: Томография, Вычислительная томография, Методы вычислительной томографии
Экземпляры: Всего: 1, из них: к3-1
Подробнее
14. Документ
bookCover
Марченков Сергей Серафимович.
Функциональные системы с операцией суперпозиции / Марченков Сергей Серафимович; С. С. Марченков. - Москва : Физматлит, 2004. - 102, [1] с. - Библиогр.: с. 100-102. - ISBN 5-9221-0542-6 : 25.00.
Шифры: В181 - М30
Ключевые слова: Функциональные системы, Суперпозиция, Дискретная математика, Математическая кибернетика
Экземпляры: Всего: 2, из них: к3-2
Подробнее
15. Документ
bookCover
Драгалин Альберт Григорьевич.
Конструктивная теория доказательств и нестандартный анализ : [Сб. трудов, статей; Воспоминания коллег, учеников и друзей] / А. Г. Драгалин. - Москва : Едиториал УРСС, 2003. - 543 с. : портр. - Библиогр. тр. А. Г. Драгалина: с.520-525. - Имен., предм. указ.: с.526-543. - ISBN 5-354-00387-3 : 90.00.
Авторы: Драгалин Альберт Григорьевич, Минц Г. Е.
Шифры: В12 - Д72
Ключевые слова: Интуиционизм, Доказательства (мат.), Математический анализ, Математические доказательства, Теория доказательств, Конструктивная теория доказательств, Нестандартный анализ, Интуиционистская теория доказательств, Математическая логика, Интуиционистская логика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
16. Документ
bookCover
Ramsey Frank Plumpton (1903-1930).
The foundations of mathematics and other logical essays / Ramsey Frank Plumpton; by Frank Plumpton Ramsey ; ed. by R. B. Braithwaite ; pref. by G. E. Moore. - London ; New York : Routledge, 2002. - XVIII, 292 p. : ill. ; 23 cm. - (The International library of philosophy.) ( ; [vol.] 5). - Bibliogr.: p. XV-XVI. - ISBN 0-415-22575-2 : 5038.00.
Авторы: Ramsey Frank Plumpton, Braithwaite Richard Bevan, Moore G. E.
Шифры: В12 - R19
Ключевые слова: Математика, Основания математики, Математическая логика, Оксфордско-Российский фонд
Экземпляры: Всего: 1, из них: к9-1
Подробнее
17. Документ
bookCover
Громов Михаил.
Гиперболические группы : [Лекции] / Громов Михаил; М. Громов; Пер. с англ. К. Первовой; Под ред. О. В. Богопольского. - Москва ; Ижевск : Ин-т компьютерных исследований, 2002. - 159 с. : ил. - Библиогр.: с.157-159. - ISBN 5-93972-103-6 : 31.00.
Авторы: Громов Михаил, Первова К., Богопольский О. В.
Шифры: В144.1 - Г87
Ключевые слова: Группы (мат.), Гиперболические группы, Алгебра
Экземпляры: Всего: 2, из них: к3-2
Подробнее
18. Документ
bookCover
Крылов Петр Андреевич.
Связи абелевых групп и их колец эндоморфизмов / Крылов Петр Андреевич; П. А. Крылов, А. В. Михалев, А. А. Туганбаев ; М-во образования Рос. Федерации, Том. гос. ун-т. - Науч. изд. - Томск : Томский гос. ун-т, 2002. - 451 с. - Библиогр.: с. 423-448. Предм. указ.: с. 449-451. - ISBN 5-94621-040-8 : 110.00.
Авторы: Крылов Петр Андреевич, Михалев Александр Васильевич, Туганбаев Аскар Аканович
Шифры: В144.1 - К85
Ключевые слова: Группы (мат.), Абелевы группы, Кольца эндоморфизмов модулей, Кольца (мат.), Эндоморфизмы (мат.)
Экземпляры: Всего: 1, из них: к3-1
Подробнее
19. Документ
bookCover
Самарский Александр Андреевич.
Математическое моделирование : Идеи. Методы. Примеры / Самарский Александр Андреевич, Михайлов Александр Петрович; А. А. Самарский, А. П. Михайлов. - 2-е изд., испр. - Москва : Физматлит, 2001. - 316,[4] c. : ил. - Библиогр.: с.313-316. - ISBN 5-9221-0120-X : 35.00.
Авторы: Самарский Александр Андреевич, Михайлов Александр Петрович
Шифры: В181 - С17
Ключевые слова: Маематическое моделирование
Экземпляры: Всего: 9, из них: к3-9
Подробнее
20. Документ
bookCover
Сэвидж Джон Э.
Сложность вычислений / Сэвидж Джон Э; Пер. с англ. Е.П. Липатова и М.И. Гринчука; Под ред. О.М. Касим-Заде. - Москва : Факториал, 1998. - 368 с. : ил. - Перевод изд.: The Complexity of Computing / John E. Savage (New York etc.). - Библиогр.: с.343-362. - Предм. указ.: с.363-368. - ISBN 5-88688-039-9. - ISBN 0-471-75517-6 : 25.00.
Авторы: Сэвидж Джон Э, Касим-Заде О.М., Липатов Е.П., Гринчук М.И.
Шифры: В181 - С97
Ключевые слова: Вычисления, Сложность вычислений, Теория сложности вычислений, Автоматы, Машины Тьюринга, ЭВМ, Компьютеры, Математическая кибернетика, Кибернетика, Информатика, Дискретная математика
Экземпляры: Всего: 1, из них: к3-1
Подробнее