对于数字逻辑考研的院校推荐，可以考虑以下几所：
清华大学：
清华大学在数字逻辑领域有很高的声誉，与荷兰阿姆斯特丹的逻辑中心有密切合作关系，拥有强大的师资力量和研究实力。
中山大学：
中山大学在逻辑学研究方面表现突出，拥有国内唯一的逻辑学C刊《逻辑学研究》，且体量大，名师云集，研究方向广泛。
北京大学：
北京大学的哲学系逻辑学教研室是国内建制最早的逻辑学教学和研究机构，拥有完整的教学体系和成熟的科研取向。
复旦大学：
复旦大学在逻辑学方面也有很好的实力和历史，是国内自主创办的第一所高等院校。
南京大学：
南京大学在逻辑学专业考研中表现优秀，入选了多项国家重点发展项目。
北京师范大学：
北京师范大学在逻辑学方面也有很好的表现，入选了多项国家重点发展项目。
武汉大学：
武汉大学是一所综合性全国重点大学，在逻辑学专业方面也有一定的实力。
苏州大学：
苏州大学在信号系统与数字逻辑方面有较强的教学和研究能力，适合对此领域感兴趣的学生。
辽宁大学和大连理工大学：
这两所学校在逻辑学专业考研中相对容易一些，适合想要考研但基础较弱的学生。
根据以上推荐，如果你对数字逻辑有浓厚的兴趣，并且希望进入国内顶尖的研究机构，清华大学和中山大学是理想的选择。如果你希望在逻辑学研究方面有更深入的发展，可以考虑中山大学的逻辑学研究所。此外，北京大学、复旦大学和南京大学也是非常好的选择。对于基础较弱的学生，可以考虑苏州大学或辽宁大学等相对容易的学校。