Подборка книг и курсов по информационным технологиям от лучших университетов и преподавателей планеты, которая поможет в углубленном изучении информатики.

Эта книга учит, как читать и писать математические доказательства. В ней разбираются основные математические обозначения и методы, которые будут полезны при дальнейшем изучении информационных технологий. Речь пойдет о пропозициональной и предикатной логике, множествах, функциях, модульной арифметике, графиках и деревьях. Также в книге имеется краткое введение в некоторые ключевые темы теоретической информатики: анализ и сложность алгоритма, теория автоматов.

5 отличных англоязычных книг по теоретическому Computer Science

Эта книга представляет собой учебник по базовой теории категорий, написанный специально для ученых и студентов в области компьютерных технологий. В ней излагаются те идеи, которые являются основными для теории категорий в контексте информатики.

5 отличных англоязычных книг по теоретическому Computer Science

Речь в этой книге пойдет о гомотопической теории типов. Гомотопическая теория типов – новая отрасль математики, которая удивительно сочетает в себе аспекты нескольких разных областей. Она основывается на связи между теорией гомотопий и теорией типов. Гомотопическая теория основывавается на алгебраической топологии и гомологической алгебре, а теория типов – это ветвь математической логики и теоретической информатики.

5 отличных англоязычных книг по теоретическому Computer Science

В этой книге представлены наиболее важные идеи в области вычислений с использованием языков программирования Scheme и Python. Основное внимание уделяется тому, как описывать информационные процессы, определять процедуры и как анализировать затраты ресурсов, необходимые для выполнения этих процедур.

5 отличных англоязычных книг по теоретическому Computer Science

Это бесплатный учебник для бакалавриата по курсу теории вычислений, который преподают в Карлтонском университете с 2002 года. До 2011-2012 учебного года эта программа предлагалась на втором курсе и была обязательной для всех студентов факультета компьютерных наук.

Вы пропустили

AEGIS Algorithms Android Angular Apache Airflow Apache Druid Apache Flink Apache Spark API API Canvas AppSec Architecture Artificial Intelligence Astro Authentication Authorization AutoGPT AWS AWS Aurora AWS Boto3 AWS EC2 AWS Lambda Azure Babylon.js Backend bash Beautiful Soup Bento UI Big Data Binary Tree Browser API Bun Career Cassandra Charts ChatGPT Chrome Extension Clean Code CLI ClickHouse Coding Codux Combine Compose Computer Context Fusion Copilot Cosmo Route CProgramming cron Cryptography CSS CTF Cypress DALL-E Data Analysis Data science Database dbt dbt Cloud deno Design Design Patterns Detekt Development Distributed Systems Django Docker Docker Hub Drizzle DRY DuckDB Express FastAPI Flask Flutter For Beginners Front End Development Game Development GCN GCP Geospatial Git GitHub Actions GitHub Pages Gitlab GMS GoFr Golang Google Google Sheets Google Wire GPT-3 GPT3 Gradio Gradle Grafana Graphic Design GraphQL gRPC Guidance HMS Hotwire HTML Huawei HuggingFace IndexedDB InfoSec Interview iOS Jackknife Java JavaScript Jetpack Compose JSON Kafka Kotlin Kubernetes LangChain Laravel Linux LlaMA LLM localStorage Logging Machine Learning Magento Math Mermaid Micro Frontends Mobile Mobile App Development mondayDB MongoDB Mongoose MySQL Naming NestJS NET NetMock Networks NextJS NLP Node.js Nodejs NoSQL NPM OOP OpenAI OTP Pandas PDF PHP Playwright Plotly Polars PostgreSQL Prefect Productivity Programming Prometheus Puppeteer Pushover Python Pytorch Quarkus Rabbitmq RAG Ramda Raspberry Pi React React Native Reactor Redis REST API Revolut Riverpod RProgramming Ruby Ruby on Rails Rust Scalene SCDB ScyllaDB Selenium Servers Sklearn SLO SnowFlake Snowkase Software Architecture Software Development Solara Solid Spring Boot SQL SQLite Streamlit SudoLang Supabase Swift SwiftUI Tailwind CSS Taipy Terraform Testing Transformers TURN TypeScript Ubuntu UI Design Unix UX UX Design Vim Vite VSCode Vue Web Architecture Web Components Web Development Web Frameworks Web Scraping Web-разработка Webassembly Websocket Whisper Widgets WordPress YAML YouTube Zed Наука о данных Разное Тренды

Как исследовать и визуализировать данные МО для обнаружения объектов на изображениях