Выбор БД
Тип поиска
Сортировать по:
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
Луридас Панос.
Алгоритмы: самый краткий и понятный курс : доступное изложение; вся основная информация в одной книге; графы, алгоритмы поиска, ранжирования и многое другое / Панос Луридас ; перевод с английского М. А. Райтмана. - Москва : Бомбора, 2022. - 188, [3] с. : ил. - (Библиотека MIT). - ISBN 978-5-04-115765-4 : 550.00.
Авторы: Луридас Панос, Райтман Михаил Анатольевич
Шифры: В127 - Л 86
Ключевые слова: Математика, Математическая логика, Алгоритмы, Алгоритмы поиска, Теория алгоритмов, Алгоритмическая теория исчислений, Теория графов, Графы (мат.), Ранжирование
Экземпляры: Всего: 1, из них: к9-1
Подробнее
Аннотация: Если вам нужно разобраться в том, что из себя представляют алгоритмы и графы, как они работают и какими бывают, эта книга для вас. Ее автор, Панос Луридас, уже много лет использует алгоритмы при проектировании программного обеспечения, криптографии, машинном обучении, и является научным сотрудником Афинского университета экономики и бизнеса. Очень доступным даже для новичков языком он знакомит читателей с концепцией алгоритмов и принципами их работы - для чтения книги достаточно базового школьного образования.
4. Документ
bookCover
Зайцева О. Н.
Математические методы в приложениях. Дискретная математика [Электронный ресурс] : учебное пособие / О. Н. Зайцева, А. Н. Нуриев, П. В. Малов; Зайцева О. Н., Нуриев А. Н., Малов П. В. - Казань : КНИТУ, 2014. - 173 с. - Рекомендовано УМО РАЕ по классическому университетскому и техническому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям подготовки: 230400 – «Информационные системы и технологии», 230100 – «Информатика и вычислительная техника», 090900 – «Информационная безопасность». - Книга из коллекции КНИТУ - Математика. - ISBN 978-5-7882-1570-9.
Авторы: Зайцева О. Н., Нуриев А. Н., Малов П. В.
Ключевые слова: дискретная математика
Ссылка на ресурс: https://e.lanbook.com/img/cover/book/73295.jpg
Подробнее
Аннотация: В представленном пособии в доступной форме рассказывается о фундаментальных понятиях дискретной математики – логике, булевых функциях, множествах, отношениях и графах. Теория изложена кратко, но иллюстрирована многочисленными простыми для пониманимя примерами. Изложение курса дискретной математики представлено в форме решения математических задач различной сложности, связанных с программированием. Предложены алгоритмы решения этих задач, написанные на «псевдокоде». Пособие может быть использовано при изучении дисциплин «Дискретная математика», «Информатика», «Линейная алгебра и дискретная математика», «Логика» студентами института легкой промышленности моды и дизайна (направление подготовки «Информационные системы и технологии»), инженерного химико-технологического института (направление подготовки «Информационная безопасность»), института управления, автоматизации и информационных технологий (направление подготовки «Информатика и вычислительная техника»).
5. Книга
bookCover
Верещагин Николай Константинович.
Колмогоровская сложность и алгоритмическая случайность / Верещагин Николай Константинович, Успенский, Владимир Андреевич, Шень, Александр. - Москва : Московский центр непрерывного математического образования (МЦНМО), 2013. - 575 с. : ил., табл. - Библиогр.: с. 546-558 (194 назв.). - Указ. предм. и имен.: с. 559-570. - ISBN 978-5-4439-0212-8 : 460.00.
Авторы: Верещагин Николай Константинович, Успенский, Владимир Андреевич, Шень, Александр
Шифры: В127 - В 31
Ключевые слова: Алгоритмическая сложность, Алгоритмическая случайность, Алгоритмическая теория вероятностей, Алгоритмическая теория информации, Алгоритмическая энтропия, Алгоритмы, Информация, Кибернетика, Колмогоровская сложность, Математика, Сложность алгоритмов, Случайность, Случайные процессы (мат.), Теория алгоритмов, Теория вероятностей, Теория информации, Энтропия
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Классическая (шенноновская) теория информации измеряет количество информации, заключённой в случайных величинах. В середине 1960-х годов А.Н.Колмогоров (и другие авторы) предложили измерять количество информации в конечных объектах с помощью теории алгоритмов, определив сложность объекта как минимальную длину программы, порождающей этот объект. Это определение послужило основой для алгоритмической теории информации, а также для алгоритмической теории вероятностей: объект считается случайным, если его сложность близка к максимальной. Предлагаемая книга содержит подробное изложение основных понятий алгоритмической теории информации и теории вероятностей, а также наиболее важных работ, выполненных в рамках колмогоровского семинара по сложности определений и сложности вычислений, основанного А.Н.Колмогоровым в начале 1980-х годов. Книга рассчитана на студентов и аспирантов математических факультетов и факультетов теоретической информатики.
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
Фалина Ирина Николаевна.
Машина Тьюринга : теоретический минимум, методические материалы, задачи / Фалина Ирина Николаевна, Усатюк Владимир Владимирович . - Москва : Чистые пруды , 2009. - 28, [2] с. : ил., табл. - (Библиотечка "Первого сентября") (Информатика ; вып. 29). - Библиогр.: с. 29 (3 назв.). - ISBN 978-5-9667-0612-8 : 25.00.
Авторы: Фалина Ирина Николаевна, Усатюк Владимир Владимирович
Шифры: В127 - Ф 19
Ключевые слова: Информатика в школе, Обработка информации, Машина Тьюринга, Задачи по информатике, Алгоритмы
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Тема "Машина Тьюринга" может изучаться в 8-11 классах в рамках темы "Информационные процессы. Обработка информации", на факультативных занятиях, в системе дополнительного образования, например, в школах юных программистов.
8. Книга
bookCover
Марченков Сергей Серафимович.
Рекурсивные функции / Марченков Сергей Серафимович; С. С. Марченков. - Москва : ФИЗМАТЛИТ, 2007. - 62 с. - (Популярные лекции по математике). - ISBN 978-5-9221-0825-6 : 96.80.
Шифры: В127 - М30
Ключевые слова: Вычислимые функции, Рекурсивные функции
Экземпляры: Всего: 4, из них: к3-4
Подробнее
9. Документ
bookCover
Драгалин Альберт Григорьевич.
Конструктивная теория доказательств и нестандартный анализ : [Сб. трудов, статей; Воспоминания коллег, учеников и друзей] / А. Г. Драгалин. - Москва : Едиториал УРСС, 2003. - 543 с. : портр. - Библиогр. тр. А. Г. Драгалина: с.520-525. - Имен., предм. указ.: с.526-543. - ISBN 5-354-00387-3 : 90.00.
Авторы: Драгалин Альберт Григорьевич, Минц Г. Е.
Шифры: В12 - Д72
Ключевые слова: Интуиционизм, Доказательства (мат.), Математический анализ, Математические доказательства, Теория доказательств, Конструктивная теория доказательств, Нестандартный анализ, Интуиционистская теория доказательств, Математическая логика, Интуиционистская логика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
10. Документ
bookCover
Марченков Сергей Серафимович.
Элементарные рекурсивные функции / Марченков Сергей Серафимович; С. С. Марченков. - Москва : Московский центр непрерывного математического образования, 2003. - 111,[1] с. - Библиогр.: с.109-111. - Предм. указ.: с.112. - ISBN 5-94057-098-4 : 18.00.
Шифры: В127 - М30
Ключевые слова: Функции, Элементарные функции, Рекурсивные функции, Вычислимые функции
Экземпляры: Всего: 2, из них: к3-2
Подробнее
11. Документ
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
Подробнее
12. Документ
bookCover
Соар Роберт И.
Вычислимо перечислимые множества и степени : Изуч. вычислимых функций и вычислимо перечислимых множеств : Пер. с англ. / Соар Роберт И.; Под ред. М. М. Арсланова. - Казань : Казан. мат. о-во, 2000. - 576 с. - Библиогр.: с.510-548. - Предм. указ.: с.562-576. - ISBN 5-900975-22-3. - ISBN 3-540-15299-7. - ISBN 0-387-15299-7 : 38.00.
Авторы: Соар Роберт И., Арсланов М. М.
Шифры: В127 - С54
Ключевые слова: Множества, Рекурсивно перечислимые степени, Теория вычислимости, Вычислимо перечислимые степени, Степени, Рекурсивные функции, Вычислимые функции, Функции, Рекурсивно перечислимые множества, Вычислимо перечислимые множетва
Экземпляры: Всего: 1, из них: к3-1
Подробнее
13. Книга
bookCover
Алгоритмические и комбинаторные задачи дискретных систем и ЭВМ : сборник научных трудов / Иркут. гос. ун-т ; [отв. ред. Ю. Д. Корольков]. - Иркутск : Иркутский государственный университет, 1991. - 181 с. : ил. ; 21 см. - Библиогр. в конце ст. - 3.00.
Шифры: З973.2 - А45
Ключевые слова: Алгоритмы, Дискретная математика, Комбинаторика, Сборники
Экземпляры: Всего: 1, из них: к3-1
Подробнее
14. Книга
bookCover
Алгоритмические и комбинаторные вопросы дискретных систем и ЭВМ : сборник научных трудов / Иркут. гос. ун-т ; [отв. ред. Ю. Д. Корольков]. - Иркутск : Иркутский государственный университет, 1990. - 155 с. : ил. ; 20 см. - Библиогр. в конце ст. - 1.00.
Шифры: З973.2 - А45
Ключевые слова: Алгоритмы, Дискретная математика, Комбинаторика, Сборники
Экземпляры: Всего: 1, из них: к3-1
Подробнее
15. Книга
bookCover
Кухарев Георгий Александрович.
Алгоритмы и систолические процессоры для обработки многозначных данных / Кухарев Георгий Александрович; Г. А. Кухарев, В. П. Шмерко, Е. Н. Зайцева. - Минск : Навука i тэхнiка, 1990. - 295,[1] с. : ил., табл. ; 22 см. - Библиогр.: с. 287-290. - Предм. указ.: с. 291-293. - ISBN 5-343-00625-6 (в пер.) : 3.00.
Авторы: Кухарев Георгий Александрович, Кухарев Георгий Александрович, Шмерко Владимир Петрович, Зайцева Елена Николаевна
Шифры: З973.2 - К95
Экземпляры: Всего: 1, из них: к3-1
Подробнее
16. Документ
bookCover
Конструкции в алгебре и логике : сб. науч. тр. / Твер. гос. ун-т ; [редкол.: Ю. М. Горчаков (отв. ред.) и др.]. - Тверь : Тверской государственный университет, 1990. - 132 с. : ил. - 8.25.
Шифры: В12 - К65
Ключевые слова: Логика, Математическая логика, Алгебра, Кибернетика, Математическая кибернетика, Конструкции в алгебре, Конструкции в логике, Труды Тверского государственного университета
Экземпляры: Всего: 6, из них: к3-6
Подробнее
17. Документ
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
Подробнее
18. Книга
bookCover
Алгебро-логические конструкции : сборник научных трудов / Калинин. гос. ун-т ; [отв. ред. Ю. М. Горчаков]. - Калинин : Калининский государственный университет, 1989. - 121 с. : ил. ; 20 см. - Библиогр. в конце ст. - 1.00.
Шифры: В12 - А45
Ключевые слова: Сборники
Экземпляры: Всего: 5, из них: к3-5
Подробнее
19. Документ
bookCover
Сухарев Алексей Григорьевич.
Минимаксные алгоритмы в задачах численного анализа / Сухарев Алексей Григорьевич; А. Г. Сухарев. - Москва : Наука, 1989. - 299,[4] с. : ил. ; 21 см. - (Оптимизация и исслед. операций). - Библиогр.: с. 270-294 (468 назв.). - Предм. указ.: с. 295-299. - ISBN 5-02-013942-4 (в пер.) : 3.70.
Шифры: В127 - С91
Экземпляры: Всего: 2, из них: к3-2
Подробнее
20. Книга
bookCover
Осуга Сэцуо.
Обработка знаний / Осуга Сэцуо; пер. с яп. В. И. Этова. - Москва : Мир, 1989. - 292 с. : ил. ; 20 см. - На обл. авт. не указан. - Предм. указ.: с. 286-290. - ISBN 5-03-000638-9 : 1.10.
Авторы: Осуга Сэцуо, Этов Владимир Ильич
Шифры: З81 - О-79
Ключевые слова: Кибернетика
Экземпляры: Всего: 2, из них: к3-2
Подробнее