พื้นหลัง :
ฉันกำลังจะจบการศึกษาระดับปริญญาโทสาขาคณิตศาสตร์และจะเริ่มปริญญาเอกสาขาตรรกะในเดือนสิงหาคม ยิ่งฉันศึกษาตรรกะมากเท่าไหร่วิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีที่ฉันสัมผัสก็ยิ่งมากขึ้นเช่นทฤษฎีการเรียกซ้ำ, แคลคูลัสแลมบ์ดา แต่ CS พื้นฐานนั้นถูกแปรงใต้พรม ประเด็นที่น่าสนใจหลักของฉัน - ทฤษฎีเซตและทฤษฎีหมวดหมู่ - ยังมีการประยุกต์ใช้ในวิทยาการคอมพิวเตอร์ แต่จนถึงตอนนี้ฉันแค่ศึกษาพวกเขาจากมุมมองของคณิตศาสตร์บริสุทธิ์
ปัญหา:
บางครั้งการขาดพื้นฐานด้านวิทยาการคอมพิวเตอร์ของฉันทำให้บางครั้งมันยากที่จะเห็นแรงจูงใจหรือสัญชาตญาณเบื้องหลังสิ่งที่เกิดขึ้นหรือวิธีการนำไปใช้ ฉันผ่านไปได้ แต่ฉันรู้สึกว่ามันจะมีสุขภาพที่ดีกว่าการแตกแขนงออกเล็กน้อย ... มันเกิดขึ้นกับฉันว่าเพื่อประโยชน์ของการวิจัยในอนาคตของฉันฉันควรเรียนรู้วิทยาศาสตร์คอมพิวเตอร์บางอย่าง
หนังสือ CS ส่วนใหญ่ที่ฉันดูแล้วยังไม่เหมาะกับวัตถุประสงค์ของฉันไม่ว่าจะเป็นพื้นฐานและไม่มีเทคนิคหรือมีพื้นฐานของ CS ที่ฉันไม่มี ดูเหมือนว่าพวกเขาจะมุ่งเป้าไปที่คนที่มีความชำนาญในคอมพิวเตอร์ แต่มีภูมิหลังทางคณิตศาสตร์น้อย - สถานการณ์ของฉันตรงกันข้าม
คำถาม:
มีหนังสือหรือแหล่งข้อมูลอื่นใดบ้างที่สามารถช่วยนักคณิตศาสตร์ที่หันมาใช้โลจิสติกส์ในเป้าหมายของพวกเขาในการเพิ่มพูนความรู้การทำงานของวิทยาการคอมพิวเตอร์ (ในทางทฤษฎี)?
ฉันกำลังมองหาบางสิ่งที่มีประโยชน์มากกว่าการพูดถึงการสัมนาเพียงไม่กี่ครั้งและในเชิงลึกมากกว่าNew Turing Omnibusแต่ฉันไม่มีเวลาหรือทรัพยากรในการทำปริญญาตรีอีกต่อไป (อาจเป็นเพราะฉันกำลังขอสิ่งที่ไม่มีอยู่)
ขออภัยหากคำถามนั้นคลุมเครือหรือไม่ถูกต้อง ฉันรู้สึกว่ามันเหมาะสมกว่าที่นี่ในMSEแต่ฉันยินดีที่จะย้ายข้อมูลหากจำเป็น