Машина поста, самореференция и парадоксы
Анализ явления самореференции в качестве унифицированной причины возникновения обширного семейства различных семантических парадоксов в контексте иерархического подхода Рассела-Тарского. Аналитические возможности оригинальной вычислительной семантики.
| Рубрика | Программирование, компьютеры и кибернетика |
| Вид | статья |
| Язык | русский |
| Дата добавления | 29.09.2020 |
| Размер файла | 28,0 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Изучение понятия абстрактной вычислительной машины и автомата, как ее разновидности, которая определяется множеством входных и выходных сигналов, функцией, задающей переходы из одних состояний в другие. Формальная переработка последовательностей символов.
реферат [24,6 K], добавлен 20.10.2013Электронная вычислительная машина "БЭСМ-1" как первая ЭВМ в СССР. Особенности организации первых ЭВМ. Развитие аналоговых вычислительных машин. Отличительные черты управляющих машин. История разработки семейства ЕС ЭВМ и отечественных суперкомпьютеров.
презентация [1,6 M], добавлен 01.06.2015Примеры счетно-решающих устройств до появления ЭВМ. Суммирующая машина Паскаля. Счетная машина Готфрида Лейбница. "Аналитическая машина" Чарльза Бэббиджа, развитие вычислительной техники после ее создания. Поколения электронно-вычислительных машин.
презентация [1,2 M], добавлен 10.02.2015Происхождение и сущность понятия "алгоритм". Основные требования к алгоритмам. Роль абстрактных алгоритмических систем. Алгоритм как абстрактная машина. Алгоритмическая машина Поста. Схема логического устройства и функционирования машины Тьюринга.
реферат [62,2 K], добавлен 16.03.2011Процессоры Р6 фирмы Intel выбраны в качестве элементной базы для первого в мире компьютера производительностью свыше триллиона операций в секунду.Уникальная машина предназначена главным образом для расчетов по ядерной тематике Министерства энергетики.
реферат [26,7 K], добавлен 18.07.2008Основные понятия об операционных системах. Виды современных операционных систем. История развития операционных систем семейства Windows. Характеристики операционных систем семейства Windows. Новые функциональные возможности операционной системы Windows 7.
курсовая работа [60,1 K], добавлен 18.02.2012Разработка программы для изображения в графическом режиме на экране структуры модели вычислительной машины и демонстрация функционирования при выполнении программы вычисления. Описание процесса разработки, обоснование структур данных и их форматов.
курсовая работа [170,3 K], добавлен 07.06.2019Автоматизация обработки данных. Информатика и ее практические результаты. История создания средств цифровой вычислительной техники. Электромеханические вычислительные машины. Использование электронных ламп и ЭВМ первого, третьего и четвертого поколения.
дипломная работа [1,1 M], добавлен 23.06.2009Счетные устройства до появления ЭВМ. Домеханический период. Счет на пальцах, на камнях. Палочки Непера. Логарифмическая линейка. Механический период. Машина Блеза Паскаля, Готфрида Лейбница. Перфокарты Жаккара. Аналоговые вычислительные машины (АВМ).
реферат [62,4 K], добавлен 29.11.2008Этапы развития вычислительной техники: ручной, механической, электро-механической, электронной. Индустриализация обработки информации и создание сложных релейных и релейно-механических систем с программным управлением. Вычислительная машина Бэббиджа.
презентация [2,3 M], добавлен 27.06.2015Создание процедурно-ориентированной и объектно-ориентированной реализации конкретного приложения и сравнительный анализ их вычислительной эффективности. Определение попадания точки внутрь фигуры. Возможности улучшения характеристик качества приложений.
курсовая работа [1,5 M], добавлен 04.12.2021Первый автор идеи создания вычислительной машины, которая в наши дни называется компьютером. Главные изобретения Бэббиджа. Малая разностная машина и разностная машина Чарльза Бэббиджа. Архитектура аналитической машины. Изобретение тахометра и спидометра.
реферат [30,7 K], добавлен 22.01.2013Память вычислительной машины как иерархия запоминающих устройств, отличающихся средним временем доступа. Знакомство с основными принципами кэширования. Анализ ключевых функций кэш-контроллера. Рассмотрение недостатков работы устройства при кэшировании.
курсовая работа [1,3 M], добавлен 04.10.2014Характеристика машины Леонардо да Винчи. Исследование принципа действия машины В. Шиккарда. Суммирующая машина Паскаля и ее особенности. Счетная машина Лейбница и ее анализ. Основные автоматизированные устройства программирования: перфокарты Жаккара.
презентация [823,4 K], добавлен 18.04.2019Формальные модели морфологии и семантики. Основные синтаксические концепции. Трансформационная грамматика. Представление о модели "смысл-текст". Виды прагматических знаний. Автоматический анализ и синтез речи. Машинный перевод текста. Экспертные системы.
курсовая работа [294,2 K], добавлен 19.06.2015Понятие о локально-вычислительной сети и её возможности. Современные сетевые ОС, область их применения. Выбор сетевой архитектуры для компьютерной сети учебного корпуса. Определение количества и характеристик устройств. Cтоимость затрат на обслуживание.
курсовая работа [653,8 K], добавлен 13.08.2012Целесообразность выбора языка программирования. Основные структуры языка программирования. Кодирование по методу четности/нечетности, по методу Хэмминга. Машина Поста. Инструкция программиста и пользователя. Использование программы StudyProgram.
курсовая работа [294,7 K], добавлен 27.02.2009Структура вычислительной сети подразделения организации, проблема реструктуризации ее программно-аппаратной части. Оптимизация работы в сети путем объединения четырех разнородных одноранговых подсетей. Выделенный компьютер в качестве маршрутизатора.
дипломная работа [690,9 K], добавлен 10.03.2013Особенности конструирование модуля первого уровня электронно-вычислительной машины. Анализ назначения, области применения, условий эксплуатации ЭВМ. Принципиальная схема и характеристики ИМС и РЭ, выбор аппаратных средств, типа конструкции печатной платы.
курсовая работа [1,0 M], добавлен 06.02.2011Конструирование печатных плат. Особенности конструкций персональных ЭВМ. Основные неисправности системной платы, их признаки, причины возникновения и способы устранения. Правила сборки и разборки компьютеров. Неисправности мониторов, методика их ремонта.
курс лекций [1,4 M], добавлен 17.12.2014
