Вікіпедія

Числення висловлень: відмінності між версіями

Інтерактивний перегляд історії
[неперевірена версія][неперевірена версія]
← Попереднє редагуванняНаступне редагування →
Вилучено вміст Додано вміст
ВізуальнийВікірозмітка
An Lung (обговорення | внесок)
47 редагувань
Немає опису редагування
An Lung (обговорення | внесок)
47 редагувань
Рядок 246:
# Enderton, H. B., A Mathematical Introduction to Logic. Harcourt/Academic Press 2002. ISBN 0-12-238452-0
# A. G. Hamilton Logic for Mathematicians, Cambridge University Press, Cambridge UK 1978 ISBN 0-521-21838-1.
 
# Прийма С.М. Математична логіка і теорія алгоритмів: Навчальний посібник – Мелітополь: ТОВ „Видавничий будинок ММД”, 2008. - 134 с.▼
== Література ==
# Гасяк О.С. Формальна логіка : короткий словник-довідник. – Чернівці : Чернівецький нац. ун-т, 2014. – 200 с.▼
#* Матвієнко М.П., ШаповаловПрийма С.ПМ. Математична логіка таі теорія алгоритмів.: Навчальний посібник. – К.Мелітополь: ВидавництвоТОВ Ліра-К„Видавничий будинок ММД”, 20152008. –- 212134 с.
▲#* Гасяк О.С. Формальна логіка : короткий словник-довідник. – Чернівці : Чернівецький нац. ун-т, 2014. – 200 с.
▲#* ПриймаМатвієнко М.П., Шаповалов С.МП. Математична логіка іта теорія алгоритмів:. Навчальний посібник. – МелітопольК.: ТОВВидавництво „Видавничий будинок ММД”Ліра-К, 20082015. -– 134212 с.
== Посилання ==
*[http://leksika.com.ua/10800511/ure/logika_vislovlyuvan УРЕ]
Отримано з https://uk.wikipedia.org/wiki/Числення_висловлень