《程序设计中的逻辑和代数方法》是一份国际性的期刊，旨在发表高质量的原创研究论文、调查和评论文章、教程演示以及历史研究，内容涉及逻辑和代数方法和技术，以确保程序的正确性和可执行性，以及一般的计算系统。所有方面都将包括，特别是理论和基础，实施问题，以及涉及新思想的应用。杂志感兴趣的主题包括:?代数、代数余和范畴在编程中的应用?证明理论和模型理论在编程中的应用?约束编程?编程范例的基础?逻辑编程?程序安全性的逻辑基础?网络物理系统的模型和分析模型?过程结石?编程模型?系统分析的定量方法?系统规范和验证《编程中的逻辑和代数方法》杂志对爱思唯尔的计算机编程科学和理论计算机科学进行了补充，其重点是在编程和开发可信计算系统的基础上应用逻辑、代数和分类方法。
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 | 2区 3区 | 否 | 否 |
| JCR分区等级 | JCR所属学科 | 分区 | 影响因子 |
| Q1 | LOGIC | Q1 | 1.088 |
| COMPUTER SCIENCE, THEORY & METHODS | Q3 |
* 请认真填写需求信息，我们会在24小时内与您取得联系。
