| Автор |
Текст |
ОрАнЖеВыЙ апеЛьсин
#0
|
 Раздел: Нужна помощь Тема: Помогите с Мат.Логикой \ Парочка задач
/ Вс Фев 06, 2011 6:58 pm
|
| молодец сфлудил хорошо |
 |
ОрАнЖеВыЙ апеЛьсин
#1
|
Раздел: Нужна помощь Тема: Помогите с Мат.Логикой \ Парочка задач
/ Вс Фев 06, 2011 6:48 pm
|
Задание 1. Доказать секвенцию исчисления высказываний тремя способами:
- сравнением таблиц истинности
- построением доказательства в виде дерева
- методом резолюции
вот сам пример - 
сравнение таблиц истиности сделал, со следующими помогите разобраться как и с чего начать.
Задание 2. Перевести с естественного языка на язык исчисления предикатов и сделать вывод, если это в ...
..... .... ... .. . |
|
ОрАнЖеВыЙ апеЛьсин
#2
|
Раздел: Кухня съедобностей Тема: Суши с доставкой на дом. Где заказать?
/ Вс Фев 06, 2011 3:25 am
|
| вне конкуренции естественно ФУДЗИ |
|
ОрАнЖеВыЙ апеЛьсин
#3
|
Раздел: Армия и военное дело Тема: Возьмут ли?
/ Вс Фев 06, 2011 3:19 am
|
не взяли  |
|
ОрАнЖеВыЙ апеЛьсин
#4
|
Раздел: Армия и военное дело Тема: Возьмут ли?
/ Ср Дек 08, 2010 3:50 pm
|
уже по третьей повестке прихожу, мозги пудрят приемная комиссия, доказательств им мало.
и кстати не понимаю зачем нужны эти "Акты" медицинские заводить по болезни если они ничего не решают? Не верят медицине? |
|
ОрАнЖеВыЙ апеЛьсин
#5
|
Раздел: Объявления и реклама Тема: Продаю принтер HP PSC 1513
/ Ср Дек 08, 2010 3:43 pm
|
400  |
|
ОрАнЖеВыЙ апеЛьсин
#6
|
Раздел: Спорт Тема: Формула 1 / Formula 1
/ Пн Ноя 15, 2010 1:00 am
|
Впервые Петров хоть чем то удивил за весь сезон, молодец пусть переходит в Марусю  |
|
ОрАнЖеВыЙ апеЛьсин
#7
|
Раздел: Армия и военное дело Тема: Возьмут ли?
/ Пн Ноя 15, 2010 12:58 am
|
| Вы действительно отошли от темы, но некоторые сообщения были по существу. Сам я тоже в принципе в курсе по отзывам кто служил и служит сейчас в армии, что там действительно не чего. Но у меня был вопрос совсем другой, кто может мне все таки разъяснить? |
|
ОрАнЖеВыЙ апеЛьсин
#8
|
Раздел: Спорт Тема: Россиянки Чемпионки Мира по волейболу 2010
/ Пн Ноя 15, 2010 12:56 am
|
| Гамова супер в концовке сделал результат, несколько подряд еще супер атак |
|
ОрАнЖеВыЙ апеЛьсин
#9
|
Раздел: Спорт Тема: Зарубежные чемпионаты по футболу
/ Вс Ноя 14, 2010 12:43 am
|
| Павлюша отличился |
|
ОрАнЖеВыЙ апеЛьсин
#10
|
Раздел: Спорт Тема: Сборная России по хоккею / ЧМ 2019
/ Вс Ноя 14, 2010 12:41 am
|
| Чехов разгромили, финны забили те голы которые не залетели в наши ворота |
|
ОрАнЖеВыЙ апеЛьсин
#11
|
Раздел: Фильмы и кино Тема: Скайлайн
/ Вс Ноя 14, 2010 12:39 am
|
| фильм для параников |
|
ОрАнЖеВыЙ апеЛьсин
#12
|
Раздел: Армия и военное дело Тема: Возьмут ли?
/ Вс Ноя 14, 2010 12:38 am
|
| да я то готов, и не сопротивляюсь и не отмазываюсь как не которые маменькины сынки |
|
ОрАнЖеВыЙ апеЛьсин
#13
|
Раздел: Спорт Тема: Сборная России по хоккею / ЧМ 2019
/ Вс Ноя 14, 2010 12:15 am
|
| да ладно вам, это всего лишь тренировка |
|
ОрАнЖеВыЙ апеЛьсин
#14
|
Раздел: Город Омск Тема: В Каком часовом поясе жить Омску?
/ Вс Ноя 14, 2010 12:02 am
|
| по Гринвичу |
|
|
