Понимание математики и логики в компьютерных науках

0: 03Перейдите к 0 минут и 3 секунды Вы хотите улучшить свои знания математики и логики в информатике? Тогда этот курс для вас. Вы узнаете о булевой логике, математических операторах и о том, как применять эти концепции в программе Python. Вы также получите представление о двоичной и шестнадцатеричной системах счисления. Изучая концепции вычислительной программы GCSE, вы также получите советы по созданию увлекательного занятия квестом. Этот трехнедельный курс основан на методологии PRIMM. Вы будете делать прогнозы относительно программ перед их запуском. Вы исследуете концепции и измените действия. И вы примените полученные знания, создав собственные программы. Этот бесплатный курс содержит обсуждения под руководством коллег, взаимодействие с тренером и отзывы о ваших знаниях по мере вашего прогресса.

0: 46Перейти к 0 минут и 46 секунд Вы можете учиться в любое время и в любом месте. Итак, если вы преподаватель со своими учениками или просто хотите улучшить свои математические навыки, этот курс поможет вам понять математику и логику в информатике. Зарегистрируйтесь сейчас на rpf.io/mathsandlogic.



Логические основы информатики

Описание продукта

Эта книга представляет собой рецензируемые материалы Международного симпозиума по логическим основам компьютерных наук, LFCS 2020, проходившего в Дирфилд-Бич, Флорида, США, в январе 2020 года. 17 отредактированных полных документов были тщательно просмотрены и отобраны из 30 представленных материалов. Тематика симпозиума широка и включает конструктивную математику и теорию типов; теория гомотопического типа; логика, автоматы и автоматические структуры; вычислимость и случайность; логические основы программирования; логические аспекты вычислительной сложности; параметризованная сложность; логическое программирование и ограничения; автоматизированный вывод и интерактивное доказательство теорем; логические методы верификации протоколов и программ; логические методы в спецификации и извлечении программ; логика предметной области; логические основы теории баз данных; эквациональная логика и переписывание терминов; лямбда и комбинаторные исчисления; категориальная логика и топологическая семантика; линейная логика; эпистемическая и темпоральная логика; интеллектуальная и многоагентная системная логика; логика доказательства и обоснования; немонотонное рассуждение; логика в теории игр и социальном ПО; логика гибридных систем; логика распределенной системы; математическая нечеткая логика; логика системного проектирования; другая логика в информатике.
Подробности
ISBN/GTIN978-3-030-36754-1
Product TypeBook
Тип привязкиPaperback
Издатель
Отпечаток
Publication townCham
Страна публикацииШвейцария
Год публикации2019
Издание 1-е изд.. 2020
Pages287 страниц
LanguageEnglish
Вес 462 г
Иллюстрации3 farbige Abbildungen, 415 s/w Abbildungen, X, 287 с. 418 илл., 3 илл. в цвете.
Артикул 16535195
Рубрики
GenreBU622
Оцените статью
clickpad.ru
Добавить комментарий