Temporal logic

Phenomena such as memory, experience, observation, anticipation and hope are all essential for the way time is understood. Modern issues in temporal logic. The Master Argument of Diodorus Cronus. Logic and Special Relativity. Graphs for Time and Modality.

Рубрика Философия
Предмет Logic
Вид книга
Язык английский
Прислал(а) Peter Ohrstrom
Дата добавления 09.04.2013
Размер файла 14,8 M

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.


Подобные документы

  • There are valid concepts in TE. Some new concepts of NE are not flawless. The new perspectives enrich our contemplative abilities and knowledge. The fully (for all times) satisfactory definitions or foundations are not likely to be proposed.

    курсовая работа [8,5 K], добавлен 29.11.2003

  • Postmodernists also argue that other characteristics of modern societies are disappearing. Рostmodernism is anti-foundationalism, or anti-worldview. Separation is the alpha and omega of the spectacle.

    курсовая работа [16,4 K], добавлен 12.02.2003

  • Fr. Nietzsche as German thinker who lived in the second half of the Nineteenth Century. The essence of the concept of "nihilism". Peculiarities of the philosophy of Socrates. Familiarity with Nietzsche. Analysis of drama "Conscience as Fatality".

    доклад [15,3 K], добавлен 09.03.2013

  • Why study Indian philosophy. Why study philosophy. The method of asking questions. The Katha Upanishad. The method of analogy. Outline of Indian Philosophy. The Four Vedas. Monism versus Non-dualism. The Epic Period. Sutra Period. The Modern Period.

    презентация [661,8 K], добавлен 26.02.2015

  • Розробка принципової електричної схеми системи управління конвеєрною лінією, яка складається з трьох послідовних конвеєрів. Реалізація алгоритму роботи на мові сходинкових діаграм LD. Розробка керуючої програми для мікроконтролерів Zelio Logic та ОВЕН.

    курсовая работа [230,2 K], добавлен 15.06.2015

  • When we have time for leisure, we usually need something that can amuse and entertain us. Some people find that collecting stamps, badges, model cars, planes or ships, bottles, or antiques are relaxing hobbies. Free time is organized in many schools.

    сочинение [5,2 K], добавлен 04.02.2009

  • Example of "simple linear progression". Additive. adversative. temporal textual connector. Anaphoric relations and their use in fairy tales. Major types of deictic markers: person deixis, place deixis, time deixis, textual deixis, social deixis.

    творческая работа [300,8 K], добавлен 05.07.2011

  • Изучение сущности логистики - стратегического управления (менеджмента) материальными потоками в процессе закупки, снабжения, перевозки и хранения материалов, деталей и готовой продукции. Суть, преимущества, проблемы и недостатки концепции just-in-time.

    реферат [30,3 K], добавлен 09.04.2011

  • Понятие компонентов как определенного типа объектов, их свойства и функции. Режимы создания: Design-time и Run-time, их сравнительная характеристика, условия и возможности использования, преимущества и недостатки. Контролеры за объектами, их значение.

    презентация [1,3 M], добавлен 27.10.2013

  • Теоретические аспекты применения системы Just-in-Time, ее основные элементы, которые требуются для эффективной работы. Пример практического применения системы в американской компании Harley-Davidson. Концепция эффективной реакции на запросы потребителей.

    реферат [26,5 K], добавлен 04.02.2011

  • The Time is a British newspaper national newspaper. The Times has its sister paper Sunday Times. The Times is the originator of the ubiquitous Times Roman typeface, originally developed by Stanley Morison. Saturday supplements and online presence.

    презентация [3,7 M], добавлен 27.05.2014

  • Расчет трудоемкости алгоритма. Определение быстродействия процессора. Характеристика контроллеров серии Direct Logic DL. Устройства, которые вошли в структуру системы. Выбор программного обеспечения. Расчет работоспособности и надежности системы.

    курсовая работа [2,0 M], добавлен 14.01.2013

  • Информация, хранящаяся в наших компьютерах, главное содержание, принципы построения и требования к ней. Основные методы учета рисков при анализе проектов. Теория Нечеткой Логики (Fuzzy Logic), направления и специфика применения с помощью пакета Matlab.

    контрольная работа [2,9 M], добавлен 06.10.2014

  • The history of the English language. Three main types of difference in any language: geographical, social and temporal. Comprehensive analysis of the current state of the lexical system. Etymological layers of English: Latin, Scandinavian and French.

    реферат [18,7 K], добавлен 09.02.2014

  • Обоснование выбора средств разработки приложения. Добавление, удаление, редактирование информации. Отражение информации из базы данных. Поиск информации по выбранной таблице. Проекты Data, Entity, Logic, Firm. Схема взаимодействия проектов программы.

    курсовая работа [1,8 M], добавлен 18.01.2015

  • Проектирование экспертной системы выбора нейронной сети. Сущность семантических сетей и фреймов. MatLab и системы Фаззи-регулирования. Реализация программы с использованием пакета fuzzy logic toolbox системы MatLab 7. Составление продукционных правил.

    курсовая работа [904,4 K], добавлен 17.03.2016

  • Структурированные кабельные сети. Универсальная среда передачи информации, объединяющая локальные вычислительные и телефонные сети, системы безопасности, видеонаблюдения. Деятельность компании Step Logic. Применение программ Raster Desk и PlanTracer.

    доклад [597,2 K], добавлен 24.02.2013

  • Основные направления деятельности компании Step Logic в области сетевой интеграции. Использование растрового изображения в качестве подложки. Особенности применение программы Raster Desk и PlanTracer. Отключение видимости при распознавании объекта.

    доклад [599,1 K], добавлен 04.04.2013

  • Оказание услуг по приему и обработке подписки. Разработка процессной модели работы подписного отдела. Построение модели с помощью средства имитационного моделирования Any Logic. Анализ влияния ключевых показателей на эффективность работы модели.

    курсовая работа [1,0 M], добавлен 05.12.2013

  • Принцип работы системы контроля автомобилей при помощи спутниковой радионавигационной системы Глонасс. Бортовое оборудование Скаут, преимущества системы спутникового мониторинга. Разработка экспертной системы выбора типа подвижного состава (Fuzzy Logic).

    курсовая работа [1,6 M], добавлен 07.08.2013

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.