Bối cảnh :
Tôi sắp kết thúc bằng thạc sĩ toán học và sẽ bắt đầu học tiến sĩ logic vào tháng 8. Càng nghiên cứu nhiều logic, tôi càng tiếp xúc với khoa học máy tính lý thuyết, ví dụ lý thuyết đệ quy, phép tính lambda, nhưng CS cơ bản được quét dưới tấm thảm. Các lĩnh vực quan tâm chính của tôi - lý thuyết tập hợp và lý thuyết thể loại - cũng có các ứng dụng trong khoa học máy tính, nhưng cho đến nay tôi chỉ nghiên cứu chúng từ quan điểm của toán học thuần túy.
Vấn đề:
Việc tôi không có bất kỳ nền tảng khoa học máy tính nào đôi khi làm cho khó nhìn thấy động lực hoặc trực giác đằng sau những gì đang diễn ra, hoặc làm thế nào nó có thể được áp dụng. Tôi nhận được, nhưng tôi cảm thấy sẽ tốt hơn nếu phân nhánh ra một chút ... với tôi rằng, vì lợi ích của nghiên cứu trong tương lai của tôi, tôi nên học một số khoa học máy tính.
Hầu hết các sách CS tôi từng xem đều không phù hợp với mục đích của tôi, vì quá cơ bản và thiếu kỹ thuật, hoặc giả định loại nền CS mà tôi không có. Chúng dường như nhắm vào những người khá am hiểu về máy tính nhưng ít hiểu biết về nền tảng toán học - tình huống của tôi thì ngược lại.
Câu hỏi:
Những cuốn sách hoặc tài nguyên nào khác có thể giúp một nhà toán học chuyển sang logic trong mục tiêu đạt được kiến thức làm việc về khoa học máy tính (lý thuyết)?
Tôi đang tìm kiếm một cái gì đó lành mạnh hơn một vài cuộc hội thảo và chuyên sâu hơn Omnibus mới , nhưng tôi không có thời gian hay nguồn lực để làm bằng đại học khác. (Có thể là tôi đang yêu cầu thứ gì đó không tồn tại.)
Xin lỗi nếu câu hỏi quá mơ hồ hoặc không được đặt ra. Tôi cảm thấy nó phù hợp ở đây hơn trên MSE nhưng tôi sẽ vui lòng di chuyển nó nếu cần.