Refine your search

• Availability

  • Limit to records with available items

• bib-level

  • m (3)

• Authors

  • Васильева, И. Н. (1)
  • Игошин, Владимир Иванович (2)

• Locations

  • Абонемент (1)
  • Книгохранилище (1)
  • Читальный зал 5 (2)

• Item types

  • 1 месяц (1)
  • 1 неделя (2)
  • 6 месяцев (1)
  • Выдается в читальный зал (1)

• Topics

  • Маркова нормальные алгоритмы (2)
  • Поста теорема (2)
  • Тьюринга машины (2)
  • алгебра высказываний (2)
  • алгебра множеств (2)
  • булевы функции (2)
  • задачи по математической логике (2)
  • классификация логики предикатов (2)
  • классы булевых функций (2)
  • логика предикатов (2)
  • логико-математическая практика (2)
  • множество истинности предиката (2)
  • независимость системы аксиом (2)
  • оператор минимизации (2)
  • построение выводов из аксиом (2)
  • построение выводов из гипотез (2)
  • предикаты рекурсивные (2)
  • принцип полной дизъюнкции (2)
  • равносильность предикатов (2)
  • рассуждения неправильные (логика предикатов) (2)
  • Show more
  • Show less

• Places

  • ЭБС Юрайт (1)