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

8615

12.02.2012, 16:29

Темы

Счётность антицепи

bubu gaga

1285

25.08.2008, 17:29

bubu gaga

Несоразмерность показательного множества и аксиома выделения

bubu gaga

880

18.08.2008, 13:10

AGu

пустое множество

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

13714

15.06.2008, 21:25

Heathy

множество sin(n), n=1,2... всюду плотно в [-1,1]

MMyaf

1296

06.06.2008, 14:48

Taras

Пустое множество --- это не "ничего".

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

Ирина1

3277

25.05.2008, 14:04

Ирина1

задача: множество Кантора гомеоморфно ожерелью Антуана

Marrow

1784

24.05.2008, 13:19

Marrow

Сравнить мощности множеств (числовых последовательностей)

knkpro

819

23.05.2008, 21:41

Echo-Off

Задача про порядковые типы

knkpro

967

23.05.2008, 15:12

Найти длину совершенной ДНФ

kdm

875

19.05.2008, 12:08

luitzen

Логика предикатов, проблема разрешимости

Йцуке

2330

13.05.2008, 19:56

Машина Тьюринга, Нахождение модуля разности чисел

BpeDuHa

1524

12.05.2008, 10:53

Мощность множества биекций интервала на себя

Mikhail Sokolov

1464

24.04.2008, 15:55

ИСН

Ряд вопросов по формальным аксиоматическим системам

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

Amigo

7388

08.04.2008, 17:36

маткиб

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

enko

2726

20.02.2008, 20:53

Автомат

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

mastedm

8581

06.02.2008, 19:24

Математическая логика (сигнатуры...)

Vitamin

2673

28.01.2008, 23:27

нг

Математическая логика (упорядоченные множества...)

spectre

1312

28.01.2008, 16:24

Фильтрованное произведение

1590

28.01.2008, 16:10

фильтры и ультрафильтры

2373

27.01.2008, 20:45

Нумерация множеств

teor

2237

25.01.2008, 14:18

мощность множества ультрафильтров на счетном множестве

1410

24.01.2008, 23:20

Задача на полноту системы функций

mastedm

1742

23.01.2008, 22:35

теорема Райса

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

Михаиль

5037

23.01.2008, 00:29

Определить мощность: рациональные последовательности

Maviru

2816

21.01.2008, 18:14

Интерпретация сигнатуры

Zlak

1699

05.01.2008, 16:30

lofar

Мат. лог

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

5222

27.12.2007, 14:20

Разрешимые множества и машина Тьюринга

HacTeHkA

1209

27.12.2007, 07:21

незваный гость

Математическая логика, рекурсивное определение функции f...

1603

24.12.2007, 13:25

дискретная математика (множества)

[ На страницу: 1 ... 8, 9, 10 ]

143

49642

24.11.2007, 23:46

Окружности: Выяснить мощность множеств

4022

22.10.2007, 09:42

Hymilev

Мощность множеств

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

Amigo

8610

21.10.2007, 17:15

Нарисовать цифровую микросхему на основе логики (палиндром)

SeverniyVeterok

2945

19.10.2007, 23:33

photon

что такое "cut-free Gentzen ..." ?

Levon11

4167

15.10.2007, 23:34

luitzen

Помогите решить задачу по мат.логике.

diff

4597

04.10.2007, 11:17

diff

Ещё раз про парадокс Сколема

epros

2208

19.09.2007, 15:27

epros

Метод форсинга на пальцах можете объяснить?

Посторонний

2086

15.09.2007, 02:50

Dan B-Yallay

Примитивно и частично рекурсивные функции (вопросы)

Rif

2846

28.08.2007, 09:02

Rif

Симметричное транзитивное бинарное отношение

Mikhail Sokolov

4906

22.08.2007, 05:25

bot

биекция R->R в заданными свойствами

АльфияР

4010

09.07.2007, 13:40

Lyoha

Порядковые типы

4938

28.05.2007, 18:30

Формула сигнатуры

2759

25.05.2007, 11:55

bot

Секвенция

3017

25.05.2007, 06:20

Как логически записать, что можно и то и то?

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

Dims

9964

25.05.2007, 02:20

Dims

порядковые (трансфинитные) числа

Таня Тайс

5246

24.05.2007, 22:53

Доказательство "аксиомы Дедекинда"

wovas

2597

20.05.2007, 23:31

Мощности множеств (9 класс)

Olympiya

2976

13.05.2007, 08:22

Olympiya

Аксиомы Пеано и формальная логика.

Ruslan_Sharipov

3089

12.05.2007, 12:31

Котофеич

"рекурсивно счетная функция"

elle

2728

19.04.2007, 19:54

elle

утверждения об истинности самих себя (задача)

4832

03.04.2007, 21:30

как в аксиоматич. теории множеств выводится a \notin a

epros

3766

02.04.2007, 18:39