Journal of Logical and Algebraic Methods in Programming期刊最新中科院分區4區。

Journal of Logical and Algebraic Methods in Programming的中文名《程序設計中的邏輯和代數方法雜志》，創刊于1968年，年發文量在56篇，依據往期投稿者經驗反饋，該刊的審稿速度是約4.3個月，錄用比例是較易需要投稿該刊的可以提前進行安排。

《程序設計中的邏輯和代數方法》是一份國際性的期刊，旨在發表高質量的原創研究論文、調查和評論文章、教程演示以及歷史研究，內容涉及邏輯和代數方法和技術，以確保程序的正確性和可執行性，以及一般的計算系統。所有方面都將包括，特別是理論和基礎，實施問題，以及涉及新思想的應用。雜志感興趣的主題包括:?代數、代數余和范疇在編程中的應用?證明理論和模型理論在編程中的應用?約束編程?編程范例的基礎?邏輯編程?程序安全性的邏輯基礎?網絡物理系統的模型和分析模型?過程結石?編程模型?系統分析的定量方法?系統規范和驗證《編程中的邏輯和代數方法》雜志對愛思唯爾的計算機編程科學和理論計算機科學進行了補充，其重點是在編程和開發可信計算系統的基礎上應用邏輯、代數和分類方法。

Journal of Logical and Algebraic Methods in Programming中科院分區基礎版：

大類學科	分區	小類學科	分區	Top期刊	綜述期刊
工程技術	4區	COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學	4區 3區	否	否

Journal of Logical and Algebraic Methods in Programming中科院分區升級版：

大類學科	分區	小類學科	分區	Top期刊	綜述期刊
計算機科學	3區	LOGIC 邏輯學 COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法	2區 3區	否	否

拓展閱讀：

問題一：什么是中科院分區?

由于不同學科之間的SCI期刊很難進行比較和評價，中國科學院國家科學圖書館世界科學前沿分析中心(原中國科學院文獻情報中心)，對目前SCI核心庫加上擴展庫期刊的影響力等因素，以年度和學科為單位，對SCI期刊進行4個等級的劃分。一般而言，發表在1區和2區的SCI論文，通常被認為是該學科領域的比較重要的成果。期刊分區表自2004年發布，延續至今;2019年推出升級版，實現基礎版、升級版并存過渡，2022年只發布升級版。2004年至2023年《期刊分區表》數據每年底發布，從2025年開始改為年初發布。

問題二：什么是中科院分區基礎版

將JCR中所有期刊分為數學、物理、化學、生物、地學、天文、工程技術、醫學、環境科學、農林科學、社會科學、管理科學及綜合性期刊13 大類。每個學科分類按照期刊的3年平均影響因子高低，分為4四個區，呈金字塔狀分布：前5%為一區，6%~20%為二區，21%~50%為三區，后50%為四區。

問題三：中科院分區升級版

2022年開始，中科院開始只發布分區表升級版，升級版作了兩方面升級：

(1)評價指標上，采用“期刊超越指數”替代傳統的影響因子，突破均值指標的瓶頸，更客觀、更全面地反映期刊整體水平，解決了學科差異、文獻類型差異、偏態分布等問題。

“期刊超越指數”的計算方法：從期刊A選擇的任一論文，其引用數大于從其它期刊選擇的一篇相同主題、相同文獻類型論文的引用數的概率。

(2)學科分類上，采用“Paper-level 歸一化分類體系”，把每篇論文都劃分到一個主題，和傳統情況下的期刊屬于什么學科，論文就屬于什么學科的分類有很大差別。

問題四：我們選刊的時候該刊哪個分區?

其實兩種分區方式都比較權威，主要取決于您的單位更認可哪種。