КФУ. Карточка публикации. Математическая логика

RUS

МАТЕМАТИЧЕСКАЯ ЛОГИКА

Форма представления

Учебники без грифа

Год публикации

2014

Авторы, сотрудники КФУ

Шарафеева Ландыш Рамилевна, автор

Библиографическое описание на языке оригинала

Шарафеева Л.Р. Математическая логика. Учебное пособие. Конспект лекций// Елабуга: Изд-во ЕИ КФУ, 2014. – 124 с.

Ключевые слова

математическая логика, высказывание, логические операции, тавтология, нормальные формы, исчисления, предикаты, кванторные операции

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку

Поле DC	Значение	Язык
dc.contributor.author	Шарафеева Ландыш Рамилевна	ru_RU
dc.date.accessioned	2014-01-01T00:00:00Z	ru_RU
dc.date.available	2014-01-01T00:00:00Z	ru_RU
dc.date.issued	2014	ru_RU
dc.identifier.citation	Шарафеева Л.Р. Математическая логика. Учебное пособие. Конспект лекций// Елабуга: Изд-во ЕИ КФУ, 2014. – 124 с.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/?p_id=98318	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	математическая логика	ru_RU
dc.subject	высказывание	ru_RU
dc.subject	логические операции	ru_RU
dc.subject	тавтология	ru_RU
dc.subject	нормальные формы	ru_RU
dc.subject	исчисления	ru_RU
dc.subject	предикаты	ru_RU
dc.subject	кванторные операции	ru_RU
dc.title	Математическая логика	ru_RU
dc.type	Учебники без грифа	ru_RU