2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки



На страницу Пред.  1 ... 5, 6, 7, 8, 9, 10, 11 ... 17  След.
 Темы   Автор   Ответы   Просмотры   Последнее сообщение 
Объявления
Эта тема закрыта, вы не можете редактировать и оставлять сообщения в ней. ВАЖНО! Прочтите перед написанием сообщения в этот раздел!

PAV

1

9895

12.02.2012, 16:29

PAV

Темы
Нет новых сообщений Множества. Доказать тождество

grustn6j

14

2782

25.06.2012, 00:09

Asker Tasker

Нет новых сообщений Характеристическая функция предиката

Rocky095

4

1060

24.06.2012, 16:54

Rocky095

Нет новых сообщений Несколько задач по теории множеств

[ На страницу: 1, 2 ]

Asker Tasker

17

3256

21.06.2012, 02:32

Asker Tasker

Нет новых сообщений Связь между множествами и их элементами

[ На страницу: 1, 2 ]

Asker Tasker

17

2243

20.06.2012, 15:37

arseniiv

Нет новых сообщений В какой литературе можно найти ответы на вопросы по логике

Sverest

4

851

17.06.2012, 17:46

Sverest

Нет новых сообщений Обозначения матлогики

Asker Tasker

5

953

14.06.2012, 14:48

Asker Tasker

Нет новых сообщений Задача по теории множеств

Asker Tasker

12

1677

13.06.2012, 19:35

Asker Tasker

Нет новых сообщений Множество, содержащее пустое множество

Asker Tasker

7

1224

13.06.2012, 02:41

Asker Tasker

Нет новых сообщений Задача о количестве множеств

Asker Tasker

10

2827

12.06.2012, 19:44

Asker Tasker

Нет новых сообщений Теория множеств. Дистрибутивность

Asker Tasker

2

682

04.06.2012, 22:07

Asker Tasker

Нет новых сообщений Доказать методом резолюций

Arsenii

10

4042

03.06.2012, 19:51

Maslov

Нет новых сообщений Найти мощность множества

[ На страницу: 1, 2 ]

Yana Romanova

26

4560

01.06.2012, 19:52

Yana Romanova

Нет новых сообщений дискреная математика (простой тест)

alexandra555

11

1272

31.05.2012, 00:16

arseniiv

Нет новых сообщений Литература по матлогике

Профессор Снэйп

5

2675

30.05.2012, 07:21

bot

Нет новых сообщений парочка задач по теории множеств

BapuK

6

2405

30.05.2012, 04:22

Профессор Снэйп

Нет новых сообщений Доказать, что формула истинна.

Slow

2

465

28.05.2012, 21:15

Slow

Нет новых сообщений Вывести формулу в гильбертовском исчислении высказываний

Viktoriya12

8

1300

27.05.2012, 23:41

Maslov

Нет новых сообщений Доказательство тавтологии

Arsenii

3

764

27.05.2012, 19:38

Профессор Снэйп

Нет новых сообщений Найти полином Жегалкина

[ На страницу: 1, 2 ]

Arsenii

22

3414

27.05.2012, 17:39

Sonic86

Нет новых сообщений Функциональный символ = всюду определённая функция?

epros

13

2544

25.05.2012, 15:37

Xaositect

Нет новых сообщений Машина Тьюринга, деление на 2

ujh

12

4066

22.05.2012, 16:26

ujh

Нет новых сообщений Выводимость формулы

[ На страницу: 1, 2 ]

Lady000

22

2558

22.05.2012, 14:32

Lady000

Нет новых сообщений Математическая логика.Доказать теорему теории S-форм.арифмет

MakagonovD

12

1265

22.05.2012, 00:10

MakagonovD

Нет новых сообщений Множества

[ На страницу: 1, 2, 3 ]

alexandra555

44

4815

20.05.2012, 19:37

--mS--

Нет новых сообщений Метод дедуктивного вывода

lmfao_swag

7

2123

20.05.2012, 11:53

Maslov

Нет новых сообщений Доказуема ли в PRA вычислимость функции Аккермана?

[ На страницу: 1, 2 ]

epros

24

6323

12.05.2012, 07:42

Sonic86

Нет новых сообщений Нормальная форма предикатов

Armind

7

936

01.05.2012, 14:27

cyb12

Нет новых сообщений Математическая логика и теория множеств

Estimate

4

1140

28.04.2012, 14:50

wallflower

Нет новых сообщений Множества

[ На страницу: 1, 2 ]

samuil

29

3292

26.04.2012, 00:59

samuil

Нет новых сообщений Множество проблемы остановки

[ На страницу: 1, 2 ]

Nikta

15

1770

22.04.2012, 14:56

Nikta

Нет новых сообщений Суть аксиомы выбора (хотя бы счётной) - никак не пойму

[ На страницу: 1, 2 ]

lekma_axioma

16

2707

18.04.2012, 10:01

lekma_axioma

Нет новых сообщений Как перечислить все кодовые строки перечисл. подмножеств?

[ На страницу: 1, 2 ]

Alex_semenov

20

2412

13.04.2012, 15:55

Alex_semenov

Нет новых сообщений помогите понять т Геделя о неполноте

[ На страницу: 1, 2 ]

kefi

28

3922

11.04.2012, 18:45

Joker_vD

Нет новых сообщений Конструктивное доказательство

Padawan

7

1049

10.04.2012, 12:24

Padawan

Нет новых сообщений Доказать примитивную рекурсивность функции

Sverest

7

2340

29.03.2012, 00:02

_hum_

Нет новых сообщений Логика предикатов

[ На страницу: 1, 2 ]

cyb12

15

2506

27.03.2012, 18:24

Профессор Снэйп

Нет новых сообщений лемма Цорна и базис бесконечномерного линейного пространства

[ На страницу: 1, 2 ]

theambient

16

2358

25.03.2012, 09:41

theambient

Нет новых сообщений Книги по теории автоматов

FrenchCheese

6

4220

25.03.2012, 04:18

Профессор Снэйп

Нет новых сообщений Как построить множество промежуточной мощности

xmaister

4

664

19.03.2012, 12:56

xmaister

Нет новых сообщений Машина Тьюринга

Getch

3

798

18.03.2012, 14:46

Getch

Нет новых сообщений Эквивалентность континумов

[ На страницу: 1, 2 ]

svloyso

22

2807

23.02.2012, 09:55

svloyso

Нет новых сообщений Глупый вопрос по теореме дедукции (Мендельсон)

Sonic86

6

1082

10.02.2012, 21:25

Sonic86

Нет новых сообщений теорема Цермело - какие акиомы ZF нужны для ее док-ва ?

alex_dorin

4

924

07.02.2012, 20:32

alex_dorin

Нет новых сообщений Цепочки чисел, упорядоченные своей двоичной записью

rishelie

1

396

03.02.2012, 23:53

Someone

Нет новых сообщений существует ли бесконечное множество мощности меньше счетного

[ На страницу: 1, 2 ]

FeelUs

16

3709

31.01.2012, 19:42

Someone

Нет новых сообщений Декомпозиция без потерь, функциональная зависимость

Alexeybk5

12

1893

29.01.2012, 23:25

Alexeybk5

Нет новых сообщений Машина Тьюринга (литература)

Uryuk

3

1724

24.01.2012, 22:53

mihailm

Нет новых сообщений Всюдуопределенность частично-рекурсивных функций.

max(Im)

1

467

24.01.2012, 11:25

whitefox

Нет новых сообщений "Парадоксальное" логическое умозаключение

[ На страницу: 1, 2, 3 ]

Voltron

31

3722

20.01.2012, 10:23

epros

Нет новых сообщений Примитивная рекурсия

Sverest

1

509

18.01.2012, 21:32

arseniiv

 [ Тем: 820 ]  На страницу Пред.  1 ... 5, 6, 7, 8, 9, 10, 11 ... 17  След.

Модераторы: Модераторы Математики, Супермодераторы


Кто сейчас на конференции

Сейчас этот форум просматривают: ClaudeBot


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group