Выбор БД
Тип поиска
Сортировать по:
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
Варьяш Александр Игнатьевич.
Логика и диалектика : Диалектическое учение о понятии, суждении и умозаключении. Индукция и индуктивный метод. Законы формальной логики. Общие законы диалектики. / А. И. Варьяш. - Изд. 2-е, стер. - Москва : ЛЕНАНД, 2023. - 516 с. - (Из наследия мировой философской мысли: логика) (Размышления о марксизме. К 150-летию со дня рождения А. А. Богданова (1873-1928) ; № 318). - ISBN 978-5-9710-5704-8 : 560.00.
Шифры: Ю4 - В 18
Ключевые слова: Логика, Формальная логика, Диалектика, Индукция, Понятие (лог.), Суждение (лог.), Умозаключение (лог.), Вероятности
Экземпляры: Всего: 1, из них: к9-1
Подробнее
Аннотация: Вниманию читателей предлагается фундаментальный труд венгерского и советского математика и логика Александра Игнатьевича (Шандора) Варьяша, посвященный рассмотрению формальной логики в диалектическом развертывании ее категорий и выявлению ее отношения к диалектике. Исследуются основные законы диалектики в их живом действии и выясняется их значение для понимания постоянно меняющейся действительности, развиваются проблемы методологии исследования (анализа, синтеза и доказательства). Желая сделать свой труд доступным для широкого круга читателей, автор стремился к популярному изложению, выделив математические рассуждения и операции в качестве примечаний или в особое приложение. Книга, по замыслу автора, предназначена для читателей, интересующихся марксистской методологией и желающих заниматься диалектической логикой. Она будет интересна и специалистам — философам, логикам, математикам, историкам и методологам науки.
4. Книга
bookCover
Курош Александр Геннадиевич.
Теория групп / Курош Александр Геннадиевич. - Москва : ФИЗМАТЛИТ, 2011. - 805, [1] с. ; 22 см. - (Классика и современность) (Математика). - Библиогр.: с. 705-782. - Имен., предм. указ.: с. 783-805. - ISBN 978-5-9221-1349-6 : 550.00.
Шифры: В144.1 - К 93
Ключевые слова: Алгебра, Группы (мат.), Математика, Теория групп
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Книга известного советского математика А.Г. Куроша, написанная в сороковых годах двадцатого века и давшая толчок к развитию теории групп советскими математиками. В книге рассматриваются общие свойства конечных групп, свойства абелевых групп, теоретико-групповые конструкции, разрешимые и нильпотентные группы, а также развитие теории и свойства бесконечных групп. Издание предназначено алгебраистам, работающим в теории групп, а также студентам, аспирантам и научным работникам, интересующимся данной темой.
5. Книга
bookCover
Наймарк Марк Аронович.
Теория представлений групп / Наймарк Марк Аронович. - Изд. 2-е. - Москва : ФИЗМАТЛИТ, 2010 (Москва). - 572 с. ; 22 см. - (Классика и современность) (Математика). - Библиогр.: с. 564-568. - Предм. указ.: с. 569-572. - ISBN 978-5-9221-1260-4 : 300.00.
Шифры: В144.1 - Н 20
Ключевые слова: Алгебра, Алгебры Ли, Группы (мат.), Группы Ли, Классические группы, Компактные группы, Конечномерные представления групп, Конечные группы, Математика, Представления групп, Топологические группы
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: В книге в доступной форме, но без снижения математической строгости, излагаются основы теории конечномерных представлений групп , в частности, представлений конечных групп, компактных групп и классических групп, а также излагаются основные понятия и предложения теории групп Ли и их конечномерных представлений. Для студентов старших курсов и аспирантов математических, физических и химических факультетов, научных работников: математиков и физиков-теоретиков.
6. Документ
bookCover
Башкин Владимир Анатольевич.
Эквивалентность ресурсов в сетях Петри / Башкин Владимир Анатольевич, Ломазова Ирина Александровна. - Москва : Научный Мир, 2008. - 206 с. : ил. - Библиогр.: с. 199-206. - ISBN 978-5-91522-002-6 : 190.00.
Авторы: Башкин Владимир Анатольевич, Ломазова Ирина Александровна
Шифры: В181 - Б 33
Ключевые слова: Кибернетика, Математическая кибернетика, Подобие ресурсов сети Петри, Ресурсы сети Петри, Сети Петри, Теория сетей, Эквивалентность ресурсов сети Петри
Экземпляры: Всего: 1, из них: к3-1
Подробнее
7. Документ
bookCover
Фултон Уильям.
Таблицы Юнга и их приложения к теории представлений и геометрии / Фултон Уильям; У. Фултон ; пер. с англ. М. Д. Горбульского, С. В. Добрынина и П. П. Никитина ; под ред. А. М. Вершика. - Москва : МЦНМО, 2006. - 325 с. : ил. - Доп. тит. л. на англ. яз. - Библиогр.: с. 269-275, 314-317. - Предм. указ.: с.322-325. - ISBN 5-94057-165-4 (рус.) : 130.00.
Авторы: Фултон Уильям, Горбульский М. Д., Добрынин С. В., Никитин П. П., Вершик А. М.
Шифры: В174.1 - Ф94
Ключевые слова: Таблицы Юнга, Представления групп, Теория представлений, Геометрия, Симметрические группы, Группы (мат.), Линейные группы, Полные линейные группы, Алгебраическая геометрия, Многообразия флагов, Геометрия грассманианов
Экземпляры: Всего: 1, из них: к3-1
Подробнее
8. Документ
bookCover
Теория тестирования логических устройств / В. Б. Кудрявцев, Э. Э. Гасанов, О. А. Долотова, Г. Р. Погоян ; под ред. В. А, Садовничего. - Москва : ФИЗМАТЛИТ, 2006. - 156 с. : ил., табл. - Библиогр.: с.152-156. - ISBN 5-9221-0727-5 : 100.00.
Авторы: Кудрявцев Валерий Борисович, Гасанов Эльяр Эльдарович, Долотова Оксана Александровна, Погосян Грант Рафаелович, Садовничий Виктор Антонович
Шифры: В181 - Т33
Ключевые слова: Управляющие системы, Логические устройства, Тестирование логических устройств, Контроль управляющих систем
Экземпляры: Всего: 2, из них: к3-2
Подробнее
9. Документ
bookCover
Самарский Александр Андреевич.
Математическое моделирование : идеи, методы, примеры / Самарский Александр Андреевич; А. А. Самарский, А. П. Михайлов. - Изд. 2-е, испр. - Москва : Физматлит, 2005. - 316, [4] с. : ил. - Рез. англ. - Библиогр.: с. 313-316. - ISBN 5-9221-0120-X : 170.00.
Авторы: Самарский Александр Андреевич, Михайлов Александр Петрович
Шифры: В181 - С17
Ключевые слова: Моделирование, Математическое моделирование
Экземпляры: Всего: 10, из них: к3-10
Подробнее
10. Документ
bookCover
Терещенко Сергей Андреевич.
Методы вычислительной томографии / Терещенко Сергей Андреевич; С. А. Терещенко. - Москва : Физматлит, 2004. - 318 с. : ил., табл. ; 22 см. - Библиогр.: с. 303-318. - ISBN 5-9221-0551-5 : 70.00.
Шифры: В181 - Т35
Ключевые слова: Томография, Вычислительная томография, Методы вычислительной томографии
Экземпляры: Всего: 1, из них: к3-1
Подробнее
11. Документ
bookCover
Марченков Сергей Серафимович.
Функциональные системы с операцией суперпозиции / Марченков Сергей Серафимович; С. С. Марченков. - Москва : Физматлит, 2004. - 102, [1] с. - Библиогр.: с. 100-102. - ISBN 5-9221-0542-6 : 25.00.
Шифры: В181 - М30
Ключевые слова: Функциональные системы, Суперпозиция, Дискретная математика, Математическая кибернетика
Экземпляры: Всего: 2, из них: к3-2
Подробнее
12. Документ
bookCover
Драгалин Альберт Григорьевич.
Конструктивная теория доказательств и нестандартный анализ : [Сб. трудов, статей; Воспоминания коллег, учеников и друзей] / А. Г. Драгалин. - Москва : Едиториал УРСС, 2003. - 543 с. : портр. - Библиогр. тр. А. Г. Драгалина: с.520-525. - Имен., предм. указ.: с.526-543. - ISBN 5-354-00387-3 : 90.00.
Авторы: Драгалин Альберт Григорьевич, Минц Г. Е.
Шифры: В12 - Д72
Ключевые слова: Интуиционизм, Доказательства (мат.), Математический анализ, Математические доказательства, Теория доказательств, Конструктивная теория доказательств, Нестандартный анализ, Интуиционистская теория доказательств, Математическая логика, Интуиционистская логика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
13. Документ
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
Подробнее
14. Документ
bookCover
Громов Михаил.
Гиперболические группы : [Лекции] / Громов Михаил; М. Громов; Пер. с англ. К. Первовой; Под ред. О. В. Богопольского. - Москва ; Ижевск : Ин-т компьютерных исследований, 2002. - 159 с. : ил. - Библиогр.: с.157-159. - ISBN 5-93972-103-6 : 31.00.
Авторы: Громов Михаил, Первова К., Богопольский О. В.
Шифры: В144.1 - Г87
Ключевые слова: Группы (мат.), Гиперболические группы, Алгебра
Экземпляры: Всего: 2, из них: к3-2
Подробнее
15. Документ
bookCover
Крылов Петр Андреевич.
Связи абелевых групп и их колец эндоморфизмов / Крылов Петр Андреевич; П. А. Крылов, А. В. Михалев, А. А. Туганбаев ; М-во образования Рос. Федерации, Том. гос. ун-т. - Науч. изд. - Томск : Томский гос. ун-т, 2002. - 451 с. - Библиогр.: с. 423-448. Предм. указ.: с. 449-451. - ISBN 5-94621-040-8 : 110.00.
Авторы: Крылов Петр Андреевич, Михалев Александр Васильевич, Туганбаев Аскар Аканович
Шифры: В144.1 - К85
Ключевые слова: Группы (мат.), Абелевы группы, Кольца эндоморфизмов модулей, Кольца (мат.), Эндоморфизмы (мат.)
Экземпляры: Всего: 1, из них: к3-1
Подробнее
16. Документ
bookCover
Самарский Александр Андреевич.
Математическое моделирование : Идеи. Методы. Примеры / Самарский Александр Андреевич, Михайлов Александр Петрович; А. А. Самарский, А. П. Михайлов. - 2-е изд., испр. - Москва : Физматлит, 2001. - 316,[4] c. : ил. - Библиогр.: с.313-316. - ISBN 5-9221-0120-X : 35.00.
Авторы: Самарский Александр Андреевич, Михайлов Александр Петрович
Шифры: В181 - С17
Ключевые слова: Маематическое моделирование
Экземпляры: Всего: 9, из них: к3-9
Подробнее
17. Документ
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
Подробнее
18. Документ
bookCover
Самарский Александр Андреевич.
Математическое моделирование : Идеи. Методы. Примеры / Самарский Александр Андреевич, Михайлов Александр Петрович; А.А. Самарский, А.П. Михайлов. - Москва : Наука : Физматлит, 1997. - 316,[4] с. : ил. - Библиогр.: с.313-316. - ISBN 5-02-015186-6 : 20.30.
Авторы: Самарский Александр Андреевич, Михайлов Александр Петрович
Шифры: В181 - С17
Ключевые слова: Математическое моделирование
Экземпляры: Всего: 1, из них: к3-1
Подробнее
19. Документ
bookCover
Елкин Владимир Иванович.
Редукция нелинейных управляемых систем : Дифференц.-геометр. подход / Елкин Владимир Иванович; В.И. Елкин. - Москва : Наука : Физматлит, 1997. - 317 с. - Библиогр.: с.312-317. - ISBN 5-02-015220-Х : 22.00.
Шифры: В181 - Е51
Ключевые слова: Управляемые системы, Нелинейные управляемые системы, Редукция нелинейных систем, Редукция нелинейных управляемых систем, Дифференциальная геометрия
Экземпляры: Всего: 1, из них: к3-1
Подробнее
20. Документ
bookCover
Фундаментальные основы математического моделирования : [Сб. ст.] / Рос. АН; [Редкол.: И.М. Макаров (пред.) и др.]. - Москва : Наука, 1997. - 196,[2] с. - (Кибернетика - неогранич. возможности и возмож. ограничения). - Библиогр. в конце ст. - ISBN 5-02-000824-9 : 15.00.
Шифры: В181 - Ф94
Ключевые слова: Математическое моделирование, Математическая физика, Обратные задачи математической физики, Численные методы решения, Дифференциальные уравнения, Обыкновенные дифференциальные уравнения, Неклассические краевые задачи
Экземпляры: Всего: 1, из них: к3-1
Подробнее