Выбор БД
Тип поиска
Сортировать по:
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
Росенко Александр Петрович.
Внутренние угрозы безопасности конфиденциальной информации : методология и теоретическое исследование / Росенко Александр Петрович; ГОУ ВПО "Ставроп. гос. ун-т". - Москва : КРАСАНД : URSS, 2010. - 156 с. : ил. ; 22 см. - Библиогр.: с. 147-156 (126 назв.). - ISBN 978-5-396-00121-3 : 130.00.
Шифры: З973.2 - Р 74
Ключевые слова: Автоматизированные информационные системы, Безопасность конфиденциальной информации, Внутренние угрозы, Вычислительная техника, Защита информации, Информационная безопасность, Информационные системы, Информация, Конфиденциальная информация, Радиоэлектроника, Угрозы информационной безопасности
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: В монографии представлены методологические подходы к анализу и оценке безопасности конфиденциальной информации, предложенные автором с учетом воздействия на автоматизированную информационную систему внутренних угроз. Предложены математические модели для исследования влияния внутренних угроз на безопасность конфиденциальной информации на основе марковских случайных процессов с дискретными состояниями, имитационного моделирования, теории игр.
6. Документ
bookCover
Бююль Ахим.
SPSS: искусство обработки информации : [пер. с нем.] / Бююль Ахим; Ахим Бююль, Петр Цефель. - Москва [и др.] : DiaSoft, 2005. - 602 с. : ил. ; 24 см. - Доп. тит. л. на нем. яз. - Библиогр.: с. 590-594. - Предм. указ.: с. 595-602. - ISBN 5-93772-133-0 (рус.) : 399.00.
Авторы: Бююль Ахим, Цефель Петер
Шифры: З973.2 - Б98
Ключевые слова: Информация, Обработка информации, Статистический анализ, Пакеты прикладных программ, Анализ данных, Статистическая информация, Обработка статистической информации, Статистические пакеты, Статистическая обработка информации, SPSS
Экземпляры: Всего: 8, из них: к3-8
Подробнее
7. Документ
bookCover
Селко Джо.
SQL для профессионалов : Программирование : [пер. с англ.] / Селко Джо; Джо Селко. - 2-е изд. - Москва : ЛОРИ, 2004. - 442 с. : ил. - Перевод изд.: SQL for smarties : advanced SQL programming / Joe Celko's. - Библиогр.: с. 425-442. - ISBN 5-85582-219-2. - ISBN 0-55860-576-2 : 280.00.
Авторы: Селко Джо, Афанасьев И., Вендров А.
Шифры: З973.2 - С29
Ключевые слова: Компьютеры, Программирование на SQL, SQL, Базы данных, Языки программирования, Языки баз данных
Экземпляры: Всего: 1, из них: к3-1
Подробнее
8. Книга
bookCover
Информационная безопасность в геоинформатике / Иванников Александр Дмитриевич [и др.]. - Москва : МАКС Пресс, 2004. - 334 с. : ил., табл. - Библиогр.: с. 324-329. - ISBN 5-317-00869-7 : 65.00.
Авторы: Иванников Александр Дмитриевич, Кулагин Владимир Петрович, Тихонов Александр Николаевич, Цветков Владимир Яковлевич
Шифры: Д8ф1 - И 74
Ключевые слова: Геоинформатика, ГИС, Геоинформационные системы, Защита информации, Информационная безопасность
Экземпляры: Всего: 1, из них: УЛК-1
Подробнее
9. Документ
bookCover
Дейт К. Дж.
Основы будущих систем баз данных. Третий манифест : детал. исслед. влияния теории типов на реляц. модель данных, включая полную моледь наследования типов / Дейт К. Дж.; К. Дж. Дейт, Хью Дарвен ; пер. с англ. С. Д. Кузнецова и Т. А. Кузнецовой ; под ред. С. Д. Кузнецова. - Изд. 2-е. - Москва : Янус-К, 2004. - 655 с. : ил. - Перевод изд.: Foundation for future database systems. The third manifesto / C. J. Date and Hugh Darwen. - Библиогр.: с.594-642. - Инд.: с.643-655. - ISBN 5-8037-0183-1. - ISBN 0-201-70928-7 : 108.00.
Авторы: Дейт К. Дж., Дарвен Хью, Кузнецов С. Д., Кузнецова. Т. А.
Шифры: З973.2 - Д27
Ключевые слова: Компьютеры, Базы данных, Системы баз данных, СУБД, Системы управления базами данных, Программное обеспечение
Экземпляры: Всего: 2, из них: к3-2
Подробнее
10. Книга
bookCover
Фаронов Валерий Васильевич.
Программирование баз данных в DELPHI 7 : [реализация современных технологий баз данных средствами DELPHI] : учебный курс / Фаронов Валерий Васильевич. - Москва [и др.] : Питер, 2004. - 458 с. : ил. - (Учебный курс). - Алф. указ.: с. 451-458. - ISBN 5-318-00100-9 : 210.00.
Шифры: З973.2 - Ф 24
Ключевые слова: Вычислительная техника, Компьютеры, Базы данных, Delphi 7, система программирования, Программирование в Delphi 7, Радиоэлектроника, Системы программирования, Учебники
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: В книге описываются многочисленные визуальные и невизуальные компоненты, а также технологии, использующиеся для создания приложений баз данных . Последовательно рассматриваются три наиболее распространенных архитектуры баз данных — файл-серверная, клиент-серверная и трехзвенная. Многие описываемые технологии могут быть применены и в более ранних версиях пакета Delphi. Книга содержит также значительный объем тщательно отобранной и хорошо организованной справочной информации.
11. Документ
bookCover
Волобуев Сергей Владимирович.
Философия безопасности социотехнических систем : информ. аспекты / Волобуев Сергей Владимирович; С. В. Волобуев. - Москва : Вузовская книга, 2004. - 359 с. : ил., табл. - Библиогр.: с.319-328. - ISBN 5-9502-0045-4 : 255.00.
Шифры: З973.2 - В68
Ключевые слова: Социотехнические системы, Объекты информатизации, Безопасность социотехнических систем, Безопасность объектов информатизации, Информационная безопасность, Защита информации
Экземпляры: Всего: 2, из них: к3-2
Подробнее
12. Книга
bookCover
Альманах программиста : [тематический сборник материалов MSDN Library и MSDN Magasine]. Т. 1 : Microsoft ADO.NET, Microsoft SQL Server : доступ к данным из приложений. / сост. Ю. Е. Купцевич. - Москва : Русская Редакция, 2003. - 394 с. : ил. - ISBN 5-7502-0234-8 : 68.00.
Шифры: З973.2 - А57
Ключевые слова: ADO.NET, СУБД, SQL Server, СУБД, Базы данных, Компьютеры, Программирование для ЭВМ, Системы управления базами данных, СУБД ADO.NET, СУБД SQL Server
Экземпляры: Всего: 1, из них: к3-1
Подробнее
13. Документ
bookCover
Драгалин Альберт Григорьевич.
Конструктивная теория доказательств и нестандартный анализ : [Сб. трудов, статей; Воспоминания коллег, учеников и друзей] / А. Г. Драгалин. - Москва : Едиториал УРСС, 2003. - 543 с. : портр. - Библиогр. тр. А. Г. Драгалина: с.520-525. - Имен., предм. указ.: с.526-543. - ISBN 5-354-00387-3 : 90.00.
Авторы: Драгалин Альберт Григорьевич, Минц Г. Е.
Шифры: В12 - Д72
Ключевые слова: Интуиционизм, Доказательства (мат.), Математический анализ, Математические доказательства, Теория доказательств, Конструктивная теория доказательств, Нестандартный анализ, Интуиционистская теория доказательств, Математическая логика, Интуиционистская логика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
14. Книга
bookCover
Лукацкий Алексей Викторович.
Обнаружение атак / Лукацкий Алексей Викторович; А. Лукацкий. - 2-е изд. ; перераб. и доп. - СПб. : БХВ-Петербург, 2003. - 596 с. : ил. ; 23 см. - (Мастер систем). - Библиогр.: с.569-584. - Предм. указ.: с.585-596. - ISBN 5-94157-246-8 : 180.00.
Авторы: Лукацкий Алексей Викторович, Лукацкий Алексей Викторович
Шифры: З973.2 - Л84
Ключевые слова: Компьютеры, Информационная безопасность, Обнаружение атак, Системы обнаружения атак, Защита информации, Компьютерные сети, Компьютерные системы, Информационные системы, Хакинг (компьют.)
Экземпляры: Всего: 4, из них: к3-4
Подробнее
15. Документ
bookCover
Фаронов Валерий Васильевич.
Программирование баз данных в Delphi 7 : Учеб. курс / Фаронов Валерий Васильевич; В. Фаронов. - Москва и др. : Питер, 2003. - 458 с. : ил. - (Учебный курс). - Алф. указ.: с.451-458. - ISBN 5-318-00100-9 : 140.00.
Шифры: З973.2 - Ф24
Ключевые слова: Delphi 7, система программирования, Базы данных, Компьютеры, Программирование в Delphi 7, Системы программирования
Экземпляры: Всего: 2, из них: к3-2
Подробнее
16. Документ
bookCover
Гарсиа-Молина Гектор.
Системы баз данных : Полный курс : [Пер. с англ.] / Гарсиа-Молина Гектор; Гектор Гарсиа-Молина, Джеффри Д. Ульман, Дженнифер Уидом. - Москва и др. : Вильямс, 2003. - 1083 с. : ил. - Перевод изд.: Database systems : The complete book / Hector Garsia-Molina a. o. - Библиогр. в конце глав. - Имен., предм. указ.: с.1051-1083. - ISBN 5-8459-0384-X. - ISBN 0-1303-1995-3 : 340.00.
Авторы: Гарсиа-Молина Гектор, Ульман Джеффри Д., Уидом Дженифер, Варакин А. С.
Шифры: З973.2 - Г21
Ключевые слова: Базы данных, Системы баз данных, Компьютеры
Экземпляры: Всего: 7, из них: к3-7
Подробнее
17. Документ
bookCover
Осмоловский Станислав Антонович.
Стохастические методы защиты информации / Осмоловский Станислав Антонович; С. А. Осмоловский. - Москва : Радио и связь, 2003. - 319 с. : ил. - (Статистическая теория связи). - ISBN 5-256-01635-0 : 132.00.
Шифры: З973.2 - О-74
Ключевые слова: Защита информации, Стохастические методы, Информационные системы, Кодирование информации, Стохастическое кодирование, Информация
Экземпляры: Всего: 5, из них: к3-5
Подробнее
18. Документ
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
Подробнее
19. Документ
bookCover
Корецкий Анатолий Андреевич.
Архивирование данных на персональном компьютере : [описание утилит, необходимых для архивирования данных] / Корецкий Анатолий Андреевич; Анатолий Корецкий. - Москва : Компьютерная литература : Познавательная книга плюс, 2002. - 223 с. - (Библиотека компьютерной литературы). - ISBN 5-8321-0200-6.
Шифры: З973.2 - К66
Ключевые слова: Информация, Архивирование информации, Данные, Архивирование данных, Компьютеры, Персональные компьютеры, Утилиты архивирования, Программное обеспечение
Подробнее
20. Документ
bookCover
Дейт Крис Дж.
Введение в системы баз данных / Дейт Крис Дж.; К. Дж. Дейт; [Пер. с англ. Ю. Г. Гордиенко и др.; Под ред. А. В. Слепцова]. - 7-е изд. - Москва и др. : Вильямс, 2002. - 1071 с. : ил. - Перевод изд.: An introduction to database systems / C. J. Date. - Предм. указ.: с.1064-1071. - ISBN 5-8459-0138-3. - ISBN 0-201-38590-2 : 299.00.
Авторы: Дейт Крис Дж., Гордиенко Ю. Г., Репецкий В. В., Слепцов А. В.
Шифры: З973.2 - Д27
Ключевые слова: Базы данных, Системы баз данных, Компьютеры, Персональные компьютеры
Экземпляры: Всего: 7, из них: к3-7
Подробнее