{
    "metadata": {
        "dataset_id": "shahroodut-thesis",
        "record_id": "QA254",
        "title": "بررسی روش\u0001 های استدلال و اثبات در ترکیبیات و گراف",
        "publisher": "دانشگاه صنعتی شاهرود",
        "owner": "کتابخانه مرکزی دانشگاه صنعتی شاهرود",
        "license": "CC-BY-4.0",
        "license_url": "https://creativecommons.org/licenses/by/4.0/",
        "license_text": "استفاده، بازنشر، تحلیل، پردازش و بهره برداری پژوهشی، آموزشی و صنعتی با ذکر منبع دانشگاه صنعتی شاهرود مجاز است.",
        "publication_date": "1393",
        "last_update": "2026-07-11",
        "language": "fa",
        "format": "application/json",
        "contact": "thesis@shahroodut.ac.ir",
        "access": {
            "fulltext_available": "true",
            "public_access": "true"
        }
    },
    "data": {
        "thesis_id": "QA254",
        "title": "بررسی روش\u0001 های استدلال و اثبات در ترکیبیات و گراف",
        "degree": null,
        "faculty": "علوم ریاضی",
        "year": 1393,
        "authors": [
            {
                "name": "خدیجه شفیعی توندری",
                "role": "پدیدآور اصلی"
            },
            {
                "name": "صادق رحیمی شعرباف مقدس",
                "role": "استاد راهنما"
            }
        ],
        "keywords": [
            "اثبات",
            "روش استقرا",
            "برهان خلف",
            "اثبات وجودی",
            "اثبات با ساختن",
            "ترکیبیات",
            "نظریه گراف",
            "اصل شمول و عدم شمول",
            "توابع مولد",
            "استدلال",
            "اثبات ترکیبیاتی",
            "جایگشت",
            "مثال نقض",
            "مسائل شمارش",
            "الگوریتم",
            "توابع مولد"
        ],
        "abstract": "این پایان \u0001نامه با هدف انجام یک تحقیق تحلیلی در روش\u0001 های اثبات در ترکیبیات و گراف انجام\r\nشده \u0001است. برای این منظور کتاب\u0001\u0001 های متعدد درسی در زمینه ترکیبیات و گراف مورد بررسی و تجزیه و\r\nتحلیل قرار گرفت. بعضی از هدف\u0001 های موردنظر به شرح ذیل می \u0001باشد که در قالب پنج فصل این پایان \u0001نامه\r\nارائه گردیده است. ابتدا، ما یک دیدگاه کلی از مفاهیم و روش\u0001های اثبات در ریاضیات، به \u0001ویژه در ترکیبیات را\r\nعرضه می\u0001کنیم. فصل دوم، مربوط به آشنایی با موضوع\u0001 ها و تکنیک \u0001های استدلال ترکیبیاتی می \u0001باشد. در ادامه، ما شناختی از ویژگی \u0001های ساختاری را بیان می \u0001کنیم و برخی از مسائل شمارشی در این رابطه\r\nرا بررسی می\u0001 کنیم. سپس، برخی از مسائل وجودی در اثبات \u0001های ترکیبیاتی را بررسی\r\nمی\u0001 کنیم. سرانجام، برخی از کاربردهای ترکیبیات در علوم رایانه و الگوریتم\u0001 ها در این متن ارائه شده،\r\nمعرفی خواهد شد.",
        "repository": "کتابخانه مرکزی دانشگاه صنعتی شاهرود",
        "note": "حقوق مادی و معنوی متعلق به دانشگاه صنعتی شاهرود می باشد.",
        "download_url": "https://shahroodut.ac.ir/fa/thesis/files/somefiles/sf_QA254.pdf"
    },
    "dictionary": {
        "thesis_id": "شناسه پایان نامه",
        "title": "عنوان پایان نامه",
        "degree": "مقطع تحصیلی",
        "faculty": "دانشکده",
        "year": "سال دفاع",
        "authors": "پدیدآورندگان",
        "keywords": "کلیدواژه ها",
        "abstract": "چکیده",
        "repository": "محل نگهداری",
        "note": "یادداشت",
        "download_url": "آدرس فایل پایان نامه"
    }
}