Практикум по математической логике.

  • Main
  • Практикум по математической логике.

Практикум по математической логике.

Крупский В.Н., Кузнецов С.Л.
0 / 0
0 comments
Колко ви харесва тази книга?
Какво е качеството на файла?
Изтеглете книгата за оценка на качеството
Какво е качеството на изтеглените файлове?
Година:
2013
Издателство:
МГУ
Език:
russian
Файл:
PDF, 550 KB
IPFS:
CID , CID Blake2b
russian, 2013
Изтегляне (pdf, 550 KB)
  • Checking other formats...
  • Конвертираният файл може да се различава от оригинала. Ако е възможно, изтеглете файла в оригиналния му формат
    Litres
    Искате ли да добавите книжарница? Свържете се с нас на support@z-lib.fm
Преобразуването в се извършва
Преобразуването в е неуспешно

Най-често използвани термини

 
forall
intros
apply
qed
theorem
тип
типа
elim
exists
rewrite
помощью
команда
lemma
типов
arith
assumption
coq
match
определение
доказательства
n:nat
v62
определения
тактика
inductive
unfold
rstar
позволяет
zarith
задачи
использовать
тактики
contains
import
require
качестве
т.е
теории
терм
типе
hint
last_index
sigt
равенства
vector
x:a
терма
simpl
доказательство
assert
generalize
секции
false
u:type
vect
командой
построения
объектов
разбор
iterate