KFU. Card publication. Математическая логика

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

Form of presentation

Non-approved textbooks

Year of publication

2014

Authors, employees of KFU

Sharafeeva Landysh Ramilevna, author

Bibliographic description in the original language

Sharafeeva L.R. Matematicheskaya logika. Uchebnoe posobie. Konspekt lekciy// Elabuga: Izd-vo EI KFU, 2014. – 124 s.

Keywords

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

Please use this ID to quote from or refer to the card

Field DC	Value	Language
dc.contributor.author	Sharafeeva Landysh Ramilevna	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/eng/?p_id=98318&p_lang=2	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	Non-approved textbooks	ru_RU