Выбор БД
Тип поиска
Сортировать по:
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
Использование информационных и коммуникационных технологий крупными и средними предприятиями и организациями Тверской области : информационно-аналитический материал / Федеральная служба государственной статистики, Территориальный орган Федеральной службы государственной статистики по Тверской области ; редакторы: В. Г. Кулаков [и др.] ; ответственная за выпуск Каленова С. В. - Тверь : Территориальный орган Федеральной службы государственной статистики по Тверской области, 2019. - 21 с. : ил., табл. - 100.00.
Авторы: Кулаков Виктор Григорьевич, Егорова Н. Т., Каленова С. В.
Шифры: З81 - И 88
Экземпляры: Всего: 1, из них: к3-1
Подробнее
4. Документ
bookCover
Степаненко, Е. В.
Информатика : учебное пособие / Е. В. Степаненко, И. Т. Степаненко, Е. А. Нивина; Е. В. Степаненко, И. Т. Степаненко, Е. А. Нивина. - Информатика. - Электрон. дан. (1 файл). - Тамбов : Тамбовский государственный технический университет, ЭБС АСВ, 2018. - 104 с. - Книга находится в премиум-версии ЭБС IPR BOOKS. - Текст. - Гарантированный срок размещения в ЭБС до 06.04.2025 (автопролонгация). - электронный. - ISBN 978-5-8265-1867-0.
Авторы: Степаненко, Е. В., Степаненко, И. Т., Нивина, Е. А.
Ключевые слова: информатика, иностранный учащийся, русский язык, устройство компьютера, архитектура компьютера, кодирование информации, программное обеспечение, линейный алгоритм, язык программирования
Ссылка на ресурс: http://www.iprbookshop.ru/94343.html
Подробнее
Аннотация: Знакомит иностранных учащихся с языком информатики. Содержит адаптированные тексты, лексико-грамматический материал и задания, позволяющие студентам-иностранцам усвоить терминологическую лексику и основные задачи курса информатики. Предназначено для слушателей подготовительных отделений и подготовительных факультетов, обеспечивающих подготовку иностранных граждан к освоению профессиональных образовательных программ на русском языке различной направленности, а также может быть полезно преподавателям соответствующих дисциплин подготовительных отделений и подготовительных факультетов.
5. Документ
bookCover
Лазарев, С. И.
Некоторые разделы начертательной геометрии : учебное пособие / С. И. Лазарев, О. А. Абоносимов, М. А. Кузнецов; С. И. Лазарев, О. А. Абоносимов, М. А. Кузнецов. - Некоторые разделы начертательной геометрии. - Электрон. дан. (1 файл). - Тамбов : Тамбовский государственный технический университет, ЭБС АСВ, 2018. - 79 с. - Книга находится в премиум-версии ЭБС IPR BOOKS. - Текст. - Гарантированный срок размещения в ЭБС до 06.04.2025 (автопролонгация). - электронный. - ISBN 978-5-8265-1863-2.
Авторы: Лазарев, С. И., Абоносимов, О. А., Кузнецов, М. А.
Ключевые слова: начертательная геометрия, метод проецирования, комплексный чертеж, проецирование угла, задание плоскости, способ вращения, построение тени, пересечение поверхности, поверхность вращения
Ссылка на ресурс: http://www.iprbookshop.ru/94355.html
Подробнее
Аннотация: Является теоретическим руководством в освоении методов инженерной геометрии. Рассмотрены разделы: «Точка, прямая, плоскость»; «Способы преобразования проекционного чертежа»; «Поверхности»; «Тени в ортогональных проекциях»; «Аксонометрические проекции». Даны задания для выполнения индивидуальных графических работ и контрольные вопросы по каждой рассмотренной теме для самопроверки усвоения материала. Предназначено для студентов направления подготовки 08.03.01 «Строительство», 13.03.01 «Электро- и теплоэнергетика», 15.03.02 «Машиностроение» очной и заочной форм обучения.
6. Документ
bookCover
Зайцева О. Н.
Математические методы в приложениях. Дискретная математика [Электронный ресурс] : учебное пособие / О. Н. Зайцева, А. Н. Нуриев, П. В. Малов; Зайцева О. Н., Нуриев А. Н., Малов П. В. - Казань : КНИТУ, 2014. - 173 с. - Рекомендовано УМО РАЕ по классическому университетскому и техническому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям подготовки: 230400 – «Информационные системы и технологии», 230100 – «Информатика и вычислительная техника», 090900 – «Информационная безопасность». - Книга из коллекции КНИТУ - Математика. - ISBN 978-5-7882-1570-9.
Авторы: Зайцева О. Н., Нуриев А. Н., Малов П. В.
Ключевые слова: дискретная математика
Ссылка на ресурс: https://e.lanbook.com/img/cover/book/73295.jpg
Подробнее
Аннотация: В представленном пособии в доступной форме рассказывается о фундаментальных понятиях дискретной математики – логике, булевых функциях, множествах, отношениях и графах. Теория изложена кратко, но иллюстрирована многочисленными простыми для пониманимя примерами. Изложение курса дискретной математики представлено в форме решения математических задач различной сложности, связанных с программированием. Предложены алгоритмы решения этих задач, написанные на «псевдокоде». Пособие может быть использовано при изучении дисциплин «Дискретная математика», «Информатика», «Линейная алгебра и дискретная математика», «Логика» студентами института легкой промышленности моды и дизайна (направление подготовки «Информационные системы и технологии»), инженерного химико-технологического института (направление подготовки «Информационная безопасность»), института управления, автоматизации и информационных технологий (направление подготовки «Информатика и вычислительная техника»).
7. Документ
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 «Дискретная математика и математическая кибернетика».
8. Документ
bookCover
ДСМ-метод автоматического порождения гипотез : логические и эпистемологические основания / Аншаков Олег Михайлович [и др.]; Рос. гос. гуманитар. ун-т, Всерос. ин-т науч. и техн. информ. РАН; сост.: О. М. Аншаков, Е. Ф. Фабрикантова; под общ. ред. О. М. Аншакова. - Москва : URSS : ЛИБРОКОМ, 2009. - 430 с. ; 25 см. - Библиогр. в конце гл. - ISBN 978-5-397-00636-1 : 400.00.
Авторы: Аншаков Олег Михайлович, Финн Виктор Константинович, Кузнецов С. О., Скворцов Д. П., Фабрикантова Е. Ф.
Шифры: З813 - Д 78
Ключевые слова: Автоматическое обучение, Автоматическое порождение гипотез, Анализ данных, ДСМ-метод, ДСМ-рассуждения, Интеллектуальные системы, Искусственный интеллект, Кибернетика, Логика, Логико-математические основания, Логические основания, Метод автоматического порождения гипотез, Правдоподобные рассуждения, Рассуждения, Формализация правдоподобных рассуждений, Эпистемологические основания, Эпистемология
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: В книге представлены теоретические основания формализации правдоподобных рассуждений, используемых в ДСМ-методе автоматического порождения гипотез. Этот метод развивает средствами современной логики идеи Д. С. Милля об индукции и идеи Ч. С. Пирса об абдукции, кроме того, ДСМ-метод использует принцип фальсификации К. Р. Поппера как средство отбрасывания нерелевантных гипотез. Главным результатом, представленным в книге, является формализация эвристики типа «индукция + аналогия + абдукция», которая образует синтез этих познавательных процедур. Его формализацией являются правдоподобные рассуждения типа ДСМ. ДСМ-рассуждения, включающие контекстно-зависимую индукцию с контролируемыми выводами, являются весомым аргументом против антииндуктивизма К. Р. Поппера. Кроме того, ДСМ- рассуждения являются существенной частью ДСМ-метода автоматического порождения гипотез — оригинальной технологии и методологии интеллектуального анализа данных.
9. Документ
bookCover
Редько Владимир Георгиевич.
Эволюция, нейронные сети, интеллект : модели и концепции эволюционной кибернетики / Редько Владимир Георгиевич; предисл. д-ра ф.-м. н., проф. Г. Г. Малинецкого. - Изд. 6-е. - Москва : URSS : ЛИБРОКОМ, 2009. - 220 с. : ил. - (Синергетика: от прошлого к будущему). - Библиогр. в конце гл. - ISBN 978-5-397-00616-3 : 287.00.
Авторы: Редько Владимир Георгиевич, Малинецкий Георгий Геннадьевич
Шифры: Е071.3 - Р 33
Ключевые слова: Адаптивное поведение, Биокибернетика, Интеллект, Искусственная жизнь, Искусственный интеллект, Кибернетика, Молекулярно-генетическая эволюция, Молекулярно-генетические кибернетические системы, Нейронные сети, Эволюционная кибернетика, Эволюционное моделирование, Эволюция (биол.)
Экземпляры: Всего: 2, из них: к7-1, УЛК-1
Подробнее
Аннотация: Книга посвяшена обзору современных исследований эволюции биологических кибернетических систем. В ней проанализированы математические и компьютерные модели простейших кибернетических молекулярно-генетических систем, которые могли возникнуть в процессе происхождения жизни, общие модели биокибернетической эволюции, рассмотрены прикладные эволюционные алгоритмы. Обсуждаются философские вопросы, связанные с эволюционной кибернетикой, намечены проблемы для дальнейших исследований. Впервые в отечественной литературе представлены сравнительно недавно появившиеся исключительно интересные и важные направления исследований "Искусственная жизнь" и "Адаптивное поведение".Книга рассчитана на широкий круг читателей, интересующихся вопросами биологической эволюции, кибернетики, искусственного интеллекта, философскими основаниями науки.
10. Документ
bookCover
Искусственные иммунные системы и их применение / под ред. Д. Дасгупты ; пер. с англ. А. А. Романюхи, С. Г. Руднева ; под ред. А. А. Романюхи. - Москва : Физматлит, 2006. - 343 с. : ил. - Авт. указаны в огл. - Библиогр.: с. 324-334 и в конце гл. - Авт., предм. указ.: с. 335-343. - ISBN 5-9221-0706-2 : 318.56.
Авторы: Дасгупта Дипанкар, Берсини Уго, Стюарт Джон, Карнейро Йорг, Сигел Л. А., Романюха А. А., Руднев С. Г.
Шифры: З81 - И86
Ключевые слова: Иммунные системы, Искусственные иммунные системы, Информатика
Экземпляры: Всего: 5, из них: к3-5
Подробнее
11. Документ
bookCover
Попов С. В.
Логическое моделирование / С. В. Попов; С. В. Попов. - Москва : Тровант, 2006. - 256 с. : ил. - Библиогр.: с. 254-255. - ISBN 5-89513-049-6 : 90.00.
Шифры: В186 - П58
Ключевые слова: Математическая кибернетика, Искусственный интеллект, Логическое моделирование
Экземпляры: Всего: 2, из них: к3-2
Подробнее
12. Документ
bookCover
Шамис Александр Львович.
Пути моделирования мышления : актив. синерг. нейрон. сети, мышление и творчество, формал. модели поведения и "распознавания с пониманием" / Шамис Александр Львович; А. Л. Шамис. - Москва : КомКнига, 2006. - 332, [1] с. : ил. - Библиогр.: с. 327-333. - ISBN 5-484-00578-7 : 250.00.
Шифры: В186 - Ш19
Ключевые слова: Восприятие, Искусственный интеллект, Моделирование, Мышление, Поведение
Экземпляры: Всего: 1, из них: к3-1
Подробнее
13. Документ
bookCover
Редько Владимир Георгиевич.
Эволюция, нейронные сети, интеллект : модели и концепции эволюц. кибернетики / Редько Владимир Георгиевич; В. Г. Редько. - Изд. 3-е. - Москва : URSS : КомКнига, 2005. - 220 с. : ил. - (Синергетика: от прошлого к будущему). - Загл.1-го изд.: Эволюционная кибернетика. - Библиогр. в конце гл. - ISBN 5-484-00052-1 : 170.00.
Авторы: Редько Владимир Георгиевич, Малинецкий Г. Г.
Шифры: Е071.3 - Р33
Ключевые слова: Адаптивное поведение, Биокибернетика, Интеллект, Искусственная жизнь, Кибернетика, Молекулярно-генетическая эволюция, Молекулярно-генетические кибернетические системы, Нейронные сети, Эволюционная кибернетика, Эволюционное моделирование, Эволюция (биол.)
Экземпляры: Всего: 1, из них: к3-1
Подробнее
14. Книга
bookCover
Методика информационной безопасности / [Уфимцев Ю. С. (рук.), Буянов В. П., Ерофеев Е. А. и др.]; Моск. акад. экономики и права. - Москва : Экзамен, 2004. - 542 с. : ил., табл. ; 21 см. - Авт. указаны на обороте тит. л. - Библиогр. в подстроч. примеч. - ISBN 5-94692-517-2 : 155.00.
Авторы: Уфимцев Ю. С., Буянов Владимир Петрович, Ерофеев Евгений Андреевич, Жогла Н. Л.
Шифры: З81 - М54
Ключевые слова: Информационная безопасность, Защита информации
Экземпляры: Всего: 5, из них: к3-5
Подробнее
15. Документ
bookCover
Громов Григорий Рафаилович.
От гиперкниги к гипермозгу : Информационные технологии эпохи Интернета : эссе, диалоги, очерки / Громов Григорий Рафаилович; Г. Р. Громов. - Москва : Радио и связь, 2004. - 204, [3] с. с : ил., табл. + 1 электрон. опт. диск (CD-ROM). - ISBN 5-256-01731-4 : 160.00.
Шифры: З81 - Г87
Ключевые слова: Информационные технологии
Экземпляры: Всего: 1, из них: к3-1
Подробнее
16. Документ
bookCover
Драгалин Альберт Григорьевич.
Конструктивная теория доказательств и нестандартный анализ : [Сб. трудов, статей; Воспоминания коллег, учеников и друзей] / А. Г. Драгалин. - Москва : Едиториал УРСС, 2003. - 543 с. : портр. - Библиогр. тр. А. Г. Драгалина: с.520-525. - Имен., предм. указ.: с.526-543. - ISBN 5-354-00387-3 : 90.00.
Авторы: Драгалин Альберт Григорьевич, Минц Г. Е.
Шифры: В12 - Д72
Ключевые слова: Интуиционизм, Доказательства (мат.), Математический анализ, Математические доказательства, Теория доказательств, Конструктивная теория доказательств, Нестандартный анализ, Интуиционистская теория доказательств, Математическая логика, Интуиционистская логика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
17. Документ
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
Подробнее
18. Документ
bookCover
Бородакий Юрий Викторович.
Информационные технологии : Методы, процессы, системы / Бородакий Юрий Викторович; Ю. В. Бородакий, Ю. Г. Лободинский. - Москва : Радио и связь, 2002. - 451,[4] с. : ил. - Библиогр.: с.438-451. - ISBN 5-256-01566-4 : 177.10.
Авторы: Бородакий Юрий Викторович, Лободинский Юрий Григорьевич
Шифры: З81 - Б83
Ключевые слова: Информационные технологии
Экземпляры: Всего: 2, из них: к7-2
Подробнее
19. Документ
bookCover
Поляков Александр Александрович.
Прикладная информатика / Поляков Александр Александрович; Поляков А. А., Цветков В. Я. - Москва : Янус-К, 2002. - 392 с. : табл. - Библиогр.: с. 390-392. - ISBN 5-8037-0114-9 : 76.00.
Авторы: Поляков Александр Александрович, Цветков Виктор Яковлевич
Шифры: З81 - П54
Ключевые слова: Информатика, Прикладная информатика, Информационные системы, Информационные технологии, Информационные ресурсы, Информационное пространство, Информационная безопасность
Экземпляры: Всего: 1, из них: к3-1
Подробнее
20. Документ
bookCover
Системная информатика : Сб. науч. тр. [Вып.] 8 : Теория и методология программирования / Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики им. А. П. Ершова; Под ред. И. В. Поттосина, А. Г. Марчука. - Новосибирск : Наука, 2002. - 249,[1] с. : ил. - (Системная информатика). - Библиогр. в конце тр. - ISBN 5-02-031949-Х : 100.00.
Авторы: Поттосин Игорь Васильевич, Марчук А. Г.
Шифры: З81 - С40
Ключевые слова: Информатика, Программирование для ЭВМ, Компьютеры
Экземпляры: Всего: 1, из них: к3-1
Подробнее