Выбор БД
Тип поиска
Сортировать по:
12
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. - 173 с. - Рекомендовано УМО РАЕ по классическому университетскому и техническому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям подготовки: 230400 – «Информационные системы и технологии», 230100 – «Информатика и вычислительная техника», 090900 – «Информационная безопасность». - Книга из коллекции КНИТУ - Математика. - ISBN 978-5-7882-1570-9.
Авторы: Зайцева О. Н., Нуриев А. Н., Малов П. В.
Ключевые слова: дискретная математика
Ссылка на ресурс: https://e.lanbook.com/img/cover/book/73295.jpg
Подробнее
Аннотация: В представленном пособии в доступной форме рассказывается о фундаментальных понятиях дискретной математики – логике, булевых функциях, множествах, отношениях и графах. Теория изложена кратко, но иллюстрирована многочисленными простыми для пониманимя примерами. Изложение курса дискретной математики представлено в форме решения математических задач различной сложности, связанных с программированием. Предложены алгоритмы решения этих задач, написанные на «псевдокоде». Пособие может быть использовано при изучении дисциплин «Дискретная математика», «Информатика», «Линейная алгебра и дискретная математика», «Логика» студентами института легкой промышленности моды и дизайна (направление подготовки «Информационные системы и технологии»), инженерного химико-технологического института (направление подготовки «Информационная безопасность»), института управления, автоматизации и информационных технологий (направление подготовки «Информатика и вычислительная техника»).
4. Документ
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 «Дискретная математика и математическая кибернетика».
5. Документ
bookCover
Драгалин Альберт Григорьевич.
Конструктивная теория доказательств и нестандартный анализ : [Сб. трудов, статей; Воспоминания коллег, учеников и друзей] / А. Г. Драгалин. - Москва : Едиториал УРСС, 2003. - 543 с. : портр. - Библиогр. тр. А. Г. Драгалина: с.520-525. - Имен., предм. указ.: с.526-543. - ISBN 5-354-00387-3 : 90.00.
Авторы: Драгалин Альберт Григорьевич, Минц Г. Е.
Шифры: В12 - Д72
Ключевые слова: Интуиционизм, Доказательства (мат.), Математический анализ, Математические доказательства, Теория доказательств, Конструктивная теория доказательств, Нестандартный анализ, Интуиционистская теория доказательств, Математическая логика, Интуиционистская логика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
6. Документ
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
Подробнее
7. Книга
bookCover
Кухарев Георгий Александрович.
Алгоритмы и систолические процессоры для обработки многозначных данных / Кухарев Георгий Александрович; Г. А. Кухарев, В. П. Шмерко, Е. Н. Зайцева. - Минск : Навука i тэхнiка, 1990. - 295,[1] с. : ил., табл. ; 22 см. - Библиогр.: с. 287-290. - Предм. указ.: с. 291-293. - ISBN 5-343-00625-6 (в пер.) : 3.00.
Авторы: Кухарев Георгий Александрович, Кухарев Георгий Александрович, Шмерко Владимир Петрович, Зайцева Елена Николаевна
Шифры: З973.2 - К95
Экземпляры: Всего: 1, из них: к3-1
Подробнее
8. Документ
bookCover
Конструкции в алгебре и логике : сб. науч. тр. / Твер. гос. ун-т ; [редкол.: Ю. М. Горчаков (отв. ред.) и др.]. - Тверь : Тверской государственный университет, 1990. - 132 с. : ил. - 8.25.
Шифры: В12 - К65
Ключевые слова: Логика, Математическая логика, Алгебра, Кибернетика, Математическая кибернетика, Конструкции в алгебре, Конструкции в логике, Труды Тверского государственного университета
Экземпляры: Всего: 6, из них: к3-6
Подробнее
9. Документ
bookCover
Дюбуа Дидье.
Теория возможностей : Приложения к представлению знаний в информатике / Дюбуа Дидье; Д. Дюбуа, А. Прад ; пер. с фр. В. Б. Тарасова ; под ред. С. А. Орловского. - Москва : Радио и связь, 1990. - 286,[1] с. : ил. ; 22 см. - Перевод изд.: Theorie des possibilites / Didier Dubois, Henri Prade (Paris, 1988). - Библиогр. в конце глав. - ISBN 5-256-00184-1 (в пер.) : 2.40.
Авторы: Дюбуа Дидье, Прад Анри, Орловский С. А., Тарасов В. Б.
Шифры: В12 - Д95
Ключевые слова: Представление знаний, Теория возможностей, Возможности, Информатика
Экземпляры: Всего: 2, из них: к3-2
Подробнее
10. Книга
bookCover
Алгебро-логические конструкции : сборник научных трудов / Калинин. гос. ун-т ; [отв. ред. Ю. М. Горчаков]. - Калинин : Калининский государственный университет, 1989. - 121 с. : ил. ; 20 см. - Библиогр. в конце ст. - 1.00.
Шифры: В12 - А45
Ключевые слова: Сборники
Экземпляры: Всего: 5, из них: к3-5
Подробнее
11. Книга
bookCover
Осуга Сэцуо.
Обработка знаний / Осуга Сэцуо; пер. с яп. В. И. Этова. - Москва : Мир, 1989. - 292 с. : ил. ; 20 см. - На обл. авт. не указан. - Предм. указ.: с. 286-290. - ISBN 5-03-000638-9 : 1.10.
Авторы: Осуга Сэцуо, Этов Владимир Ильич
Шифры: З81 - О-79
Ключевые слова: Кибернетика
Экземпляры: Всего: 2, из них: к3-2
Подробнее
12. Документ
bookCover
Успенский Владимир Андреевич.
Что такое нестандартный анализ? / Успенский Владимир Андреевич. - Москва : Наука, 1987. - 128 с. : ил. ; 20 см. - Документ создан на книгу, но есть еще "Электронный ресурс". - Извлечено из: Математический анализ-II. - М. 2005. - (Электронный ресурс). - Библиогр.: с. 125-128 (71 назв.). - 0.20.
Авторы: Успенский Владимир Андреевич, Кановей В. Г.
Шифры: В12 - У 77
Ключевые слова: CD-ROM, АВМ, Математика, Математическая логика, Математический анализ
Экземпляры: Всего: 2, из них: к3-2
Подробнее
13. Документ
bookCover
Логические методы построения эффективных алгоритмов : межвед. темат. сб. науч. тр. / М-во высш. и сред. спец. образования РСФСР, Калинин. гос. ун-т ; [редкол.: М. И. Канович (отв. ред.) и др.]. - Калинин : КГУ, 1986. - 137, [2] с. : ил. - Библиогр. в конце ст. - 1.00.
Шифры: В12 - Л69
Ключевые слова: Алгоритмы, Построение алгоритмов
Экземпляры: Всего: 5, из них: к3-5
Подробнее
14. Документ
bookCover
Математическая логика, математическая лингвистика и теория алгоритмов : сб. науч. тр. / М-во высш. и сред. спец. образования РСФСР, Калинин. гос. ун-т ; [редкол: Гладкий А. В. (отв. ред.) и др.]. - Калинин : КГУ, 1983. - 115, [1] с. - Библиогр. в конце ст. - 1.00.
Шифры: В12 - М34
Ключевые слова: Математика
Экземпляры: Всего: 4, из них: к3-4
Подробнее
15. Документ
bookCover
Гильберт Давид.
Основания математики : теория доказательств / Гильберт Давид, Бернайс Пауль; пер. с нем. Н. М. Нагорного ; под ред. [и с предисл.] С. И. Адяна. - Москва : Наука, 1982. - 652, [1] с. - (Математическая логика и основания математики). - Перевод изд.: Grundlagen der Marhematik. 2 / D. Hilbert, P. Bernays (Berlin [u. a.] 1970). - Алф. указ.: с. 647-652. - 3.40.
Авторы: Гильберт Давид, Бернайс Пауль, Нагорный Н. М., Адян Сергей Иванович
Шифры: В12 - Г47
Ключевые слова: Доказательства теорем, Теоремы
Экземпляры: Всего: 1, из них: к3-1
Подробнее
16. Документ
bookCover
Гильберт Давид.
Основания математики : логические исчисления и формализация арифметики / Гильберт Давид, Бернайс Пауль; пер. с нем. Н. М. Нагорного ; под ред. [и с предисл.] С. И. Адяна. - Изд. 2-е. - Москва : Наука, 1982. - 556, [1] с. : ил. - (Математическая логика и основания математики). - Перевод изд.: Grundlagen der Marhematik. 1 / D. Hilbert, P. Bernays (Berlin [u. a.], 1968). - Алф. указ.: с. 551-557. - <null>.
Авторы: Гильберт Давид, Бернайс Пауль, Нагорный Н. М., Адян Сергей Иванович
Шифры: В12 - Г47
Ключевые слова: Математическая логика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
17. Документ
bookCover
Математическая логика и математическая лингвистика : межвуз. темат. сб. / М-во высш. и сред. спец. образования РСФСР, Калинин. гос. ун-т ; [редкол.: Гладкий А. В. (отв. ред.) и др.]. - Калинин : КГУ, 1981. - 169, [3] с. - Библиогр. в конце ст. - 1.30.
Шифры: В12 - М34
Ключевые слова: Математика
Экземпляры: Всего: 3, из них: к3-3
Подробнее
18. Документ
bookCover
Бахарев Александр Иванович.
Отрицание в логике и грамматике / Бахарев Александр Иванович; А. И. Бахарев. - Саратов : Саратовский гос. ун-т, 1980. - 75, [4] с. : ил. - Библиогр. в подстроч. примеч. - 0.60.
Шифры: В12 - Б30
Ключевые слова: Отрицание в логике, Отрицание в грамматике
Экземпляры: Всего: 1, из них: к3-1
Подробнее
19. Документ
bookCover
Калужнин Лев Аркадьевич.
Элементы теории множеств и математической логики в школьном курсе математики : Пособие для учителей / Калужнин Лев Аркадьевич; Л.А. Калужнин. - Москва : Просвещение, 1978. - 87 с. : ил. - Библиогр.: с.85-86. - 1.50.
Шифры: 51(07) - К17
Ключевые слова: Математическая логика, Теория множеств, Множества, Математика в школе, Преподавание математики, Методика
Экземпляры: Всего: 2, из них: к3-2
Подробнее
20. Документ
bookCover
Расева Елена.
Математика метаматематики / Расева Елена, Сикорский Роман; Пер. с англ. В.А. Янкова. - Москва : Наука, 1972. - 591 с. - (Мат. логика и основания математики). - Библиогр.: с.568-578. - Имен., предм. указ.: с.581-590. - 39.00.
Авторы: Расева Елена, Сикорский Роман, Янков В.А.
Шифры: 517.21 - Р24
Ключевые слова: Математика, Основания математики, Математическая логика
Экземпляры: Всего: 3, из них: к3-3
Подробнее
12