Browsing by Author James, Aspnes

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 2 of 2
  • OER000005546.pdf.jpg
  • Ebooks (Sách điện tử)


  • Authors : James, Aspnes (2022)

  • Giới thiệu về các phương pháp hình thức để suy luận và các kỹ thuật toán học cơ bản của khoa học máy tính. Các chủ đề bao gồm logic mệnh đề, toán học rời rạc và đại số tuyến tính.

  • OER000003064.pdf.jpg
  • Ebooks (Sách điện tử)


  • Authors : James, Aspnes (2023)

  • These are notes for the Fall 2020 semester version of the Yale course CPSC 465/565 Theory of Distributed Systems. This document also incorporates the lecture schedule and assignments, as well as some sample assignments from previous semesters. Because this is a work in progress, it will be updated frequently over the course of the semester.