В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для...
ISBN: 978-5-9221-1301-4
Издательство:
Физматлит
Дата выхода: август 2011
Словарь содержит около 56 000 общеупотребительных и узкоспециальных лексических единиц французского и русского языка. Они объединены по тематике и обозначают более 28 000 пронумерованных иллюстрированных объектов. Издание снабжено алфавитными указателями на русском и французском языках, что позволяет пользоваться им в качестве французско-русского и русско-французского словаря. Помимо...
ISBN: 5-8033-0126-4
Издательство:
Живой язык
Дата выхода: март 2009
Какую собаку выбрать из огромного количества существующих пород? Как ей помочь устроиться на новом месте и что следует приобрести, чтобы животное было ухоженным, здоровым и счастливым? Какие признаки в поведении собаки указывают на то, что с ней не все в порядке? Какие правила необходимо выполнять, чтобы добиться взаимопонимания со своим питомцем, и что делать, если этого не случилось? Какие основные...
ISBN: 978-5-17-154699-1
Издательство:
АСТ
Дата выхода: май 2023
Найденных опечаток пока нет
Добавить запись