Родительские жанры
Соседние жанры
Теги
-
Теоретическая информатика. Доказательство правильности Евгения Веретельникова
ISBN: 978-5-7782-2875-7 Год издания: 2016 Издательство: Новосибирский государственный технический университет Язык: Русский В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы. Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ.
-
Числа компьютеры и шифры Минна Лейси
ISBN: 978-5-17-149852-8 Год издания: 2022 Издательство: АСТ Язык: Русский Знаешь ли ты, что современные калькуляторы мощнее компьютера, управлявшего первой высадкой на Луну? Или что первыми компьютерными "багами" были настоящие насекомые? И пока ты читаешь эту строку, уже было отослано более 30 миллионов писем? Эта информативная книга с красочными иллюстрациями содержит удивительные факты и полезную информацию ровно по 100 темам, касающимся чисел, компьютеров и шифров. Ты узнаешь много нового, о чём точно не читал в учебниках, а благодаря инфографике вся сложная информация усвоится легко и быстро. Для среднего школьного возраста.
-
Математика и информатика. Учебное пособие Елена Гусева
ISBN: 978-5-9765-2412-5 Год издания: 2020 Издательство: Флинта Язык: Русский Практикум является частью учебно-методического комплекса дисциплины «Математика и информатика». В книге рассмотрены прикладные вопросы, задачи, тестовые задания и лабораторный практикум по дисциплине. Практикум разработан для студентов гуманитарных факультетов, изучающих дисциплины «Информатика» и «Математика и информатика» и содержит разделы, определяющие базовый уровень подготовки современных специалистов: представление и кодирование информации, аппаратное обеспечение компьютера, основы алгоритмизации и программирования, сведения о вычислительных сетях и информационной безопасности, а также комплекс лабораторных работ, посвященный…
-
Информационные технологии управления Владимир Логинов
ISBN: 978-5-406-02694-6 Год издания: 2013 Издательство: КноРус Язык: Русский Рассматриваются основные понятия информационных технологий управления, классификация, структура и состав автоматизированных информационных систем управления, применяемых в организационно-экономических системах и территориальном управлении. Анализируется с учетом особенностей территориальной информатизации состав математического, программного, технического, информационного, организационно-правового обеспечения. Приводятся история создания и современные тенденции информатизации территориального управления. Даются структура и состав территориальных информационных систем как интегрированных систем территориального управления. Излагаются этапы,…
-
Компьютерные технологии в экономике. Учебное пособие Петр Мельников
ISBN: 978-5-406-04604-3 Год издания: 2016 Издательство: КноРус Язык: Русский Рассматриваются компьютерные технологии вычислений в среде табличного процессора MS Exсel, применяемые для решения систем эконометрических и нелинейных уравнений, исследования функций, решения задач условной оптимизации, дифференциального и интегрального исчисления, статистического анализа, анализа табличных данных, финансовых расчетов. Также рассматриваются технологии автоматизации при решении трудоемких и типовых задач на основе применения MS Visual Basic for Application. Для студентов экономических вузов, обучающихся по специальностям "Финансы и кредит", "Бухгалтерский учет, анализ и аудит", "Мировая экономика", а также для студентов…
-
The Road to Conscious Machines. The Story of AI Майкл Вулдридж
ISBN: 9780241333907 Год издания: 2021 Издательство: Pelican Язык: Английский In this myth-busting guide to AI past and present, one of the world's leading researchers shows why our fears for the future are misplaced. The ultimate dream of AI is to build machines that are like us: conscious and self-aware. While this remains a remote possibility, rapid progress in AI is already transforming our world. Yet the public debate is still largely centred on unlikely prospects, from sentient machines to dystopian robot takeovers. In this lively and clear-headed guide, Michael Wooldridge challenges the prevailing narrative, revealing how the hype distracts us from both the more immediate risks that this technology poses -…
-
Информатика. 9 класс. Учебник Л. А. Залогова
ISBN: 978-5-906812-84-1 Год издания: 2016 Издательство: Бином. Лаборатория знаний Язык: Русский Учебник предназначен для изучения курса информатики в 9 классе общеобразовательной школы. Учебник содержит теоретический материал курса, вопросы и задания для закрепления знаний, в конце каждой главы в схематическом виде представлена система основных понятий этой главы. Некоторые главы учебника содержат дополнительный раздел, позволяющий изучить данную тему на углубленном уровне. Учебник входит в учебно-методический комплект по информатике, наряду с учебниками для 7 и 8 классов, задачником-практикумом, методическим пособием для учителя и цифровыми образовательными ресурсами (ЦОР) из Единой коллекции, электронным приложением.…
-
Актуальные проблемы моделирования в системах автоматизации схемотехнического проектирования
ISBN: 5-02-002818-5 Год издания: 2003 Издательство: Наука Язык: Русский Книга посвящена результатам исследований в области современных методов моделирования для САПР СБИС. Книга содержит описание методов и алгоритмов анализа и оптимизации цифровых КМОП-схем, в том числе методов параметрической и структурной оптимизации, методов анализа помехоустойчивости цифровых схем. Рассмотрены проблемы моделирования радиотехнических интегральных схем. Изложены современные численные методы расчета периодических и квазипериодических установившихся режимов нелинейных цепей. Рассмотрены проблемы поведенческого моделирования аналоговых и аналого-цифровых схем. Изложены основные концепции нового стандарта VHDL-AMS и метод…
-
Noise Барт Коско
ISBN: 0670034959 Год издания: 2006 Издательство: Viking Adult A celebrated maverick in the world of science, Bart Kosko introduced—and continues to popularize in print and television media—the revolutionary concept of fuzzy logic. In his latest book, he provides the first scientific history of noise aimed at the general reader. Noise is a social nuisance, a cause of deafness and high blood pressure, and an all-around annoyance. But what is noise really? As Kosko simply states, “Noise is a signal that you don’t like.” It occurs at every level of the physical universe, from the big bang to blaring car alarms. Today, noise is considered the curse of the information age, but, in fact, not all noise is…
-
Математические основы информатики. Элективный курс. Учебное пособие Людмила Босова
ISBN: 978-5-94774-658-7 Год издания: 2015 Издательство: Бином. Лаборатория знаний Язык: Русский Учебное пособие входит в УМК для старших классов наряду с методическим пособием и хрестоматией. Материал раскрывает взаимосвязь математики и информатики, показывает, как развитие одной из этих научных областей стимулировало развитие другой. Дается углубленное представление о математическом аппарате, используемом в информатике, показывается, как теоретические результаты, полученные в математике, послужили источником новых идей и результатов в теории алгоритмов, программировании и в других разделах информатики. Для учащихся старших классов информационно- технологического, физико-математического и естественно-научного профилей, желающих…
-
Математические основы информатики Людмила Босова
ISBN: 978-5-9963-0576-6 Год издания: 2012 Издательство: Бином. Лаборатория знаний Язык: Русский Методическое пособие входит в учебно-методический комплект курса "Математические основы информатики", рассчитанного на учащихся старших классов, имеющих базовую подготовку по информатике. Книга содержит подробные методические рекомендации по проведению занятий по каждому из 6 модулей. В ней приведен разбор всех заданий учебного пособия. К каждому модулю подобраны практические и творческие задания для самостоятельной работы учащихся, варианты контрольных работ разного уровня сложности с разбором их решений. Каждый модуль может являться основой отдельного элективного курса. Для учителей математики, информатики и методистов.
-
Компьютерное моделирование логических процессов. Учебник для вузов Александр Подколзин
ISBN: 9785534153361 Год издания: 2024 Издательство: Юрайт Язык: Русский Курс разработан на основе специальных курсов «Компьютерный решатель математических задач», «Интеллектуальные системы», читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова. Рассматриваются два подхода к моделированию логических процессов: стандартный подход с использованием формальных логик и подход, который пытается повторить логику рассуждений человека. В рамках первого подхода приводятся понятия и результаты исчисления высказываний и исчисления предикатов. Второй подход иллюстрируется на примере компьютерного решателя математических задач. Для студентов,…
-
The Uncertain Reasoner's Companion: A Mathematical Perspective Джеффри Брюс Парис
ISBN: 0521460891, 978-0521460897 Издательство: Cambridge University Press Язык: Английский Reasoning under uncertainty, that is, making judgments with only partial knowledge, is a major theme in artificial intelligence. Professor Paris provides here an introduction to the mathematical foundations of the subject. The author presents the key results on the subject, and formalizes within a unified framework the main contemporary approaches and assumptions. He concentrates on giving clear mathematical formulations, analyses, justifications, and consequences of the main theories about uncertain reasoning.
-
Basic Proof Theory H. Schwichtenberg
ISBN: 0521779111, 978-0521779111 Год издания: 2000 Издательство: Cambridge University Press Язык: Английский This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic formalization. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic, logic programming theory, category theory, modal logic, linear logic, first-order arithmetic and second-order logic. In each case the authors illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. For the new edition, they have rewritten many sections to improve clarity, added new sections on cut elimination, and…
-
Belief Revision
ISBN: 0521545641, 978-0521545648 Год издания: 2008 Издательство: Cambridge University Press Язык: Английский Belief revision is a topic of much interest in theoretical computer science and logic, and it forms a central problem in research into artificial intelligence. In simple terms: how do you update a database of knowledge in the light of new information? What if the new information is in conflict with something that was previously held to be true? An intelligent system should be able to accommodate all such cases. This book contains a collection of research articles on belief revision that are completely up to date and an introductory chapter that presents a survey of current research in the area and the fundamentals of the theory. Thus this…
-
Проектирование и реализация баз данных в СУБД MySQL с использованием MySQL Workbench Сергей Мартишин
ISBN: 978-5-8199-0811-2 Год издания: 2018 Издательство: Форум Язык: Русский Пособие предназначено для получения практических навыков при изучении дисциплин «Управление данными», «Технологии обработки информации», «Инструментальные средства информационных систем», «Методы и средства проектирования информационных систем и технологий». Также может быть использовано при изучении дисциплин «Проектирование программного обеспечения автоматизированных систем обработки информации и управления», «Проектирование информационных систем», «Базы данных». Для студентов учреждений среднего профессионального образования. Полезно для студентов вузов, слушателей курсов повышения квалификации и лиц, занимающихся самообразованием.
-
Основы практической информатики в медицине В. И. Чернов
ISBN: 978-5-222-10730-0 Год издания: 2007 Издательство: Феникс Язык: Русский В учебном пособии представлены современные материалы по основным разделам учебного курса "информатика" для студентов медицинских вузов. Практикум содержит краткую теорию и задания по освоению студентами работы с наиболее распространенными