IPB

Здравствуйте, гость ( Вход | Регистрация )


Введите слово для поиска

  Все словари
  Архитектурно-строительный словарь  Большой бухгалтерский словарь
  Толковый словарь Даля  Философский энциклопедический словарь
  Сексологический словарь  Большой финансовый словарь
  Словарь фразеологизмов  Словарь имен
  Словарь медицинских терминов  Словарь морских терминов
  Англо-русский словарь Мюллера  Толковый словарь Ожегова
  Словарь политолога  Популярная медицинская энциклопедия
  Словарь религиозных терминов  Современный энциклопедический словарь
  Словарь синонимов  Словарь компьютерных терминов
  Словарь компьютерного слэнга  Словарь нумизмата
  Современный толковый словарь  Юридический словарь
  Толковый словарь Ушакова
RSS Текстовая версия
Рейтинг@Mail.ru

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

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

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

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