نظریهپرداز منطقی موضوع کامپیوتر و اینترنت واژه نامه لغت نامه کامپیوتر واژه فارسی نظریهپرداز منطقی واژه انگلیسی Logic theorist توضیحات یک برنامه پردازش اطلاعات اولیه که توانائی اثبات نظریهها را داراست.