Latar belakang :
Saya datang ke akhir gelar master saya di Matematika dan akan memulai PhD di bidang Logika pada bulan Agustus. Semakin banyak saya belajar logika, semakin banyak ilmu komputer teoritis saya terkena, misalnya teori rekursi, kalkulus lambda, tetapi CS yang mendasarinya disikat di bawah karpet. Bidang minat utama saya - teori himpunan dan teori kategori - juga memiliki aplikasi dalam ilmu komputer, tetapi sejauh ini saya hanya mempelajarinya dari sudut pandang matematika murni.
Masalah:
Kurangnya latar belakang ilmu komputer saya terkadang membuat saya sulit melihat motivasi atau intuisi di balik apa yang sedang terjadi, atau bagaimana hal itu bisa diterapkan. Saya bertahan, tetapi saya merasa akan lebih sehat untuk bercabang sedikit ... terpikir oleh saya bahwa, untuk kepentingan penelitian masa depan saya, saya harus belajar ilmu komputer.
Sebagian besar buku CS yang saya lihat belum cocok untuk tujuan saya, entah terlalu mendasar dan tidak teknis, atau mengandaikan jenis latar belakang CS yang tidak saya miliki. Mereka tampaknya ditujukan pada orang-orang yang cukup paham komputer tetapi yang memiliki sedikit di latar belakang matematika - situasi saya adalah sebaliknya.
Pertanyaan:
Apa buku atau sumber daya lain yang ada yang dapat membantu ahli matematika yang berubah menjadi ahli logika dalam tujuan mereka untuk mendapatkan pengetahuan kerja tentang ilmu komputer (teoretis)?
Saya mencari sesuatu yang lebih sehat daripada beberapa seminar seminar dan lebih mendalam daripada The New Turing Omnibus , tetapi saya tidak punya waktu atau sumber daya untuk melakukan gelar sarjana lainnya. (Mungkin aku meminta sesuatu yang tidak ada.)
Maaf jika pertanyaannya terlalu kabur atau tidak benar. Saya merasa lebih cocok di sini daripada di MSE tetapi saya akan senang untuk memigrasikannya jika perlu.