Табличные методы в логике
									
								
																
								                                Табличный метод — один из наиболее простых и эффективных процедур поиска доказательства, широко применяется в различных областях математической логики, теории аргументации и искусственного интеллекта. В монографии воссоздана история развития табличного метода. Рассмотрены предпосылки его возникновения. Автором проанализированы и систематизированы основные логические исчисления, к которым...
								
								 
                                                                                                                                                                                                                            Издательство: 
                                                                                                                Издательство Санкт-Петербургского государственного университета
                                                                                                                                                            Дата выхода: январь 2003