Veni Vidi Vici - On-line cловари

С 18 по 21 октября в Москве в помещении Дома печати состоялся I Всероссийский съезд пролетарских писателей, на котором присутствовало 142 человека. Собравшиеся избрали почетными председателями съезда В. И. ЛЕНИНА, А. В. ЛУНАЧАРСКОГО и М. ГОРЬКОГО. Н... >>>

Смотреть календарь

КОПИЯ копии, ж. (латин. copia - обилие) 1. Точный список с какого-н. текста. Сделать копию чего-н. Снять копию с чего-н. Заверить копию. Проложить к заявлению копию трудового списка. Запрещенные стихи Пушкина распространялись в копиях. 2. Точное воспро...

Неразрешимость логики первого порядка

Понятие формальной системы. Основные понятия логики первого порядка. Доказательство неразрешимости проблемы остановки. Машина Тьюринга, ее структура. Вывод неразрешимости логики первого порядка из неразрешимости...