Focusing is a psychotherapeutic process developed by Eugene Gendlin which involves holding an open, non-judging attention to an internal knowing. It can be used to gain clarity on feelings and wants, obtain new insights, and stimulate change or healing. It is set apart from other methods by its "felt sense", engaged accepting attention, and researched-based technique.
Carnegie Mellon University
Fall 2021
This undergraduate course introduces students to constructive logics such as intuitionistic and linear logic, focusing on their use in computer science. The goal is to understand the distinction between classical and constructive logic, define logical connectives, implement theorem provers, and explore computational interpretations of logics. Concepts covered include natural deduction, sequent calculus, logic programming, linear logic, and many more.
No concepts data
+ 35 more concepts