Предикатно-трансформативна семантика
Предикатно-трансформативна семантика e екстенция на Флойд-Хойр логиката, изобретена от Дейкстра и е разширена и подобрена от други изследователи. Първо е представена в научната публикация на Дейсктра Guarded commands, nondeterminacy and formal derivation of programs. Това е метод за дефиниране на семантиката на императивните програмни езици чрез задаването, назначаването към всяка команда в езика на кореспондиращ предикатен трансформатор.
- Приложна теория на вероятностите
- Голяма част от изследванията, които се правят в областта на вероятностите са „под знамето“ на приложната теория на вероятностите, тоест
- Изчислителен модел
- В рекурсивната теория и теорията на сложните изчисления изчислителен модел е дефиницията на множество от допустипи операции, използвани в
- Дикция
- Дикция е изговор, способността на ясно говорене, така че всяка дума се чува и е разбрана ясно в нейната пълна комплексност, нейното прецизно
- Историцизъм
- Историцизъм e мисловен модел, при който централно значение има специфичния социален контекст – например време, място, локални условия
- Философска логика
- Философска логика е изследване на по-специфичните философски аспекти на логиката. Терминът контрастира с философия на логиката, металогиката
- Професионална вежливост
- Професионална вежливост e традицията между лекарите взаимно да не взимат такса за лечението на членовете на своите семейства. Целта е да се
- Лексикална семантика
- Лексикалната семантика е подполе в лингвистичната семантика. Лексикалната семантика изучава как и защо думите значат, означават нещо
- Профеминизъм
- Профеминизмът се отнася за подкрепата на каузата на феминизма, без предполагането, че някой/някоя е член-привърженик на феминисткото движение
- Когнитивна поетика
- Когнитивната поетика е онази школа на литературната критика, която прилага принципите на когнитивната наука, особено когнитивната
- Алтернативна инвестиция
- Алтернативната инвестиция, известна също като алтернативен актив или алтернативен инвестиционен фонд (АИФ), е инвестиция във всеки клас активи